Hi:

Does the lambda calculus have provisions for I/O?
State can be done with free variables.

Sent from an expensive device which will be obsolete in a few months! :D

Casey