Robert Harper

No, that is irrelevant. Even in a totally pure functional language, you want only generative functors, because you do not want to confuse, say, posets ordered two different ways. The...

well, yes, there would be no storage effects, but there are nevertheless abstraction effects. Robert Harper (from handheld) > On Dec 9, 2014, at 13:06, John Ericson [email protected] wrote: >...

Now that I have a keyboard .... Even if Rust is effect-free at initialization time (but then what does initialization consist of if not effects?), so-called generative functors nevertheless introduce...

the design is implicit in the harper-stone semantics given in the milner volume, and is sketched explicitly in my ml workshop talk, which is available on my web page. i...

Response inserted below: > On Dec 14, 2014, at 09:20, Paolo G. Giarrusso [email protected] wrote: > > Dreyer's canonical example is the MkSet functor: it's a natural candidate for being...