[FoRK] taxonomy of composition and coordination (thinking out loud...)
Jeff Bone
jbone at place.org
Mon Dec 14 06:45:07 PST 2009
On Dec 14, 2009, at 7:24 AM, Jeff Bone wrote:
> The curried function is reified by providing e.g. args and env, then
> yields a function from streams to streams + argv.
^argv^rv
Ugh. *You* try writing out a type signature for a process in e.g.
standard Hindley-Milner that doesn't involve some weird IO monad
contortions... ;-)
OTOH, in Clean, with uniqueness types, it's a bit more straightforward.
jb
More information about the FoRK
mailing list