On Sat, Mar 7, 2009 at 5:16 PM, Gelf Mrogen <[email protected]> wrote: > It seems that if you're going to curry effectful functions, > the equivalence would be: > > (impure fn 'a 'b -> 'c)) == (pure fn 'a -> (impure fn 'b -> 'c))
Basically, if the application is permitted to be impure, then any step is permitted to be impure. If the application must be pure, then all steps must be pure. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
