# Experimenting with callbacks. (4.01)
 
namespace eval lambda {
    variable id 0
}
 
proc lambda {capturedList args body} {
    set _ _lambda[incr ::lambda::id]
    proc $_ $args \
        [concat [list foreach {name value} $capturedList {
            set $name $value }] \; $body]
    return $_
}
 
interp alias {} λ {} lambda
 
proc not1 {unaryPredicate} {
    λ [list predicate $unaryPredicate] {item} {
        expr ! [$predicate $item]
    }
}
 
proc any {seq predicate} {
    foreach item $seq {
        if {[$predicate $item]} {
            return 1
        }
    }
    return 0
}
 
proc all {seq predicate} {
    expr ! [any $seq [not1 $predicate]]
}
 
# Main.
 
proc toBool {i} {
    if {$i == 0} { return false }
    return true;
}
 
proc stringAnyIs {class s} {
    toBool [any [split $s {}] [λ [list class $class] {c} {
        string is $class $c
    }]]
}
 
proc stringAllIs {class s} {
    toBool [all [split $s {}] [λ [list class $class] {c} {
        string is $class $c
    }]]
}
 
while {[gets stdin line] >= 0} {
    foreach class {space graph punct} {
        puts "\"$line\" any $class: [stringAnyIs $class $line]"
        puts "\"$line\" all $class: [stringAllIs $class $line]"
    }
}

IyBFeHBlcmltZW50aW5nIHdpdGggY2FsbGJhY2tzLiAoNC4wMSkKCm5hbWVzcGFjZSBldmFsIGxhbWJkYSB7CiAgICB2YXJpYWJsZSBpZCAwCn0KCnByb2MgbGFtYmRhIHtjYXB0dXJlZExpc3QgYXJncyBib2R5fSB7CiAgICBzZXQgXyBfbGFtYmRhW2luY3IgOjpsYW1iZGE6OmlkXQogICAgcHJvYyAkXyAkYXJncyBcCiAgICAgICAgW2NvbmNhdCBbbGlzdCBmb3JlYWNoIHtuYW1lIHZhbHVlfSAkY2FwdHVyZWRMaXN0IHsKICAgICAgICAgICAgc2V0ICRuYW1lICR2YWx1ZSB9XSBcOyAkYm9keV0KICAgIHJldHVybiAkXwp9CgppbnRlcnAgYWxpYXMge30gzrsge30gbGFtYmRhCgpwcm9jIG5vdDEge3VuYXJ5UHJlZGljYXRlfSB7CiAgICDOuyBbbGlzdCBwcmVkaWNhdGUgJHVuYXJ5UHJlZGljYXRlXSB7aXRlbX0gewogICAgICAgIGV4cHIgISBbJHByZWRpY2F0ZSAkaXRlbV0KICAgIH0KfQoKcHJvYyBhbnkge3NlcSBwcmVkaWNhdGV9IHsKICAgIGZvcmVhY2ggaXRlbSAkc2VxIHsKICAgICAgICBpZiB7WyRwcmVkaWNhdGUgJGl0ZW1dfSB7CiAgICAgICAgICAgIHJldHVybiAxCiAgICAgICAgfQogICAgfQogICAgcmV0dXJuIDAKfQoKcHJvYyBhbGwge3NlcSBwcmVkaWNhdGV9IHsKICAgIGV4cHIgISBbYW55ICRzZXEgW25vdDEgJHByZWRpY2F0ZV1dCn0KCiMgTWFpbi4KCnByb2MgdG9Cb29sIHtpfSB7CiAgICBpZiB7JGkgPT0gMH0geyByZXR1cm4gZmFsc2UgfQogICAgcmV0dXJuIHRydWU7Cn0KCnByb2Mgc3RyaW5nQW55SXMge2NsYXNzIHN9IHsKICAgIHRvQm9vbCBbYW55IFtzcGxpdCAkcyB7fV0gW867IFtsaXN0IGNsYXNzICRjbGFzc10ge2N9IHsKICAgICAgICBzdHJpbmcgaXMgJGNsYXNzICRjCiAgICB9XV0KfQoKcHJvYyBzdHJpbmdBbGxJcyB7Y2xhc3Mgc30gewogICAgdG9Cb29sIFthbGwgW3NwbGl0ICRzIHt9XSBbzrsgW2xpc3QgY2xhc3MgJGNsYXNzXSB7Y30gewogICAgICAgIHN0cmluZyBpcyAkY2xhc3MgJGMKICAgIH1dXQp9Cgp3aGlsZSB7W2dldHMgc3RkaW4gbGluZV0gPj0gMH0gewogICAgZm9yZWFjaCBjbGFzcyB7c3BhY2UgZ3JhcGggcHVuY3R9IHsKICAgICAgICBwdXRzICJcIiRsaW5lXCIgYW55ICRjbGFzczogW3N0cmluZ0FueUlzICRjbGFzcyAkbGluZV0iCiAgICAgICAgcHV0cyAiXCIkbGluZVwiIGFsbCAkY2xhc3M6IFtzdHJpbmdBbGxJcyAkY2xhc3MgJGxpbmVdIgogICAgfQp9

ICAgICAKYWJjZGUKIUAjJSZhbXA7CmFiIGRlCiFAICUmYW1wOw==

     
abcde
!@#%&
ab de
!@ %&