[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.


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.


More information about the FoRK mailing list