SRFI 80: Stream I/O

by Michael Sperber

status: withdrawn (2006-11-20)

keywords: I/O

See also SRFI 81: Port I/O and SRFI 186: Transcoders and transcoded ports.


This SRFI defines an I/O layer for lazy, mostly functional buffered streams.

The layer architecture is similar to the upper three layers of the I/O subsystem in The Standard ML Basis Library.

In particular, this layer provides

It builds on the Primitive I/O layer specified in SRFI 79 (Primitive I/O).