non-blocking I/O as lambda calculus Dmitry Karasik <dmitry@karasik.eu.org>