[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