Robert Harper

Fascinating (c) Robert Harper.  All Rights Reserved. On Jun 1, 2021, 10:29 -0400, Jonathan Sterling ***@***.***>, wrote: > I had decided to use cooltt to experiment with weak universes, i.e....

Aside: This approach reminds me of the “modular” account of datatypes in ML. Lots is different, but there is a similarity in that the interface is clean and usable, but...

i agree with this. i devoted some effort in my class to filling in the "back story" of some to these points, and many students seemed to appreciate that. bob...

Yes, it should be an optional feature, the question is how to indicate that it's "on"? In SML/NJ it's a matter of an assignment to a variable. As to the...

See also: [https://stackoverflow.com/questions/39506534/does-sml-nj-s-lazy-work-properly](https://stackoverflow.com/questions/39506534/does-sml-nj-s-lazy-work-properly).

I haven't a clue about the context, but if someone wishes to summarize I could comment or make suggestions. I see that Modular Type Classes are being discussed, which I...

hi john, not sure i understand "fine-grained srtucture" in rust, so it's hard for me to answer. i agree that applicative functors are a theoretical curiosity, and a bit of...

BTW, I don't understand why generative functors interfere with type classes, can you explain? As long as you propagate that "type t = int", etc then the instance is going...

I wouldn't know the designer's motives, of course, but I highly doubt there's any technical justification. Putting it the other way 'round, I'd like to hear the justification for it...

Type classes are by nature transparent; they cannot be opaque, because if they were, they'd be useless. (See PFPL for a discussion.) I don't see any advantage to applicative functors...