On Tue, Feb 10, 2015 at 11:30 PM, Keean Schupke <[email protected]> wrote: > Side effects are interesting. Part of the justification for currying is that > it makes no change in program output, however side effects break this > assumption. Does this mean we should have side effect control (monadic > effects) if we have currying?
it may be interesting to note Marc Stiegler's implementation of sealer/unsealer pairs using currying and side effects, as discussed by Norm here: http://cap-lore.com/Languages/Synergy/OCaml.html _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
