[Haskell-cafe] pure programs
jason.dusek at gmail.com
Tue Nov 4 19:12:29 EST 2008
Informally, a "pure program" an executable such that the
stream of bytes entering it totally determines the stream of
bytes leaving it.
Many useful programs that I would like to write in Haskell
don't fall into this category -- for example, network servers
-- but a lot of their components do. Can these components can
be Haskell functions without IO in their signatures?
Though that seems reasonable, it is not, in general, true. For
example, System.Info.os is generally treated as pure,
though it is not. It's not clear to me how to disambiguate
these "born again" values from really pure values.
More information about the Haskell-Cafe