petition to ban all uses of the word "functor" other than the category theoretic sense
Conversation
I always say ‘module function’ when talking about ML module systems. I hope that this is less confusing!
1
2
I have no idea what an ML module system is :( I tried to learn ocaml once and got upset at its verbose syntax and USE OF GODFORSAKEN EXCEPTIONS
3
1
Yeah OCaml is a bit goofy in many ways. ML-modules are a super nice way of making interfaces though! But the terminology and syntax they use is often… frustratingly obtuse.
1
1
You have module instances (structures), module types (signatures) and module functions (functors).
1
1
Replying to
A cool language that simplifies a bunch of this stuff is 1ML: people.mpi-sws.org/~rossberg/1ml/
Replying to
But yeah I really want to implement this kind of thing in Pikelet! Because a lot of this stuff collapses down to dependent types (although you need to add some other stuff if you want all the nice things from module systems).
Quote Tweet
Been kind of excited by this paper for a while now! I'm excited for where this work could lead – think 1ML but with full dependent types! 
twitter.com/jonmsterling/s…
twitter.com/jonmsterling/s…1
1
Anyway I’ll stop my rambling! Haha.