ML-style module systems are lots of fun haha
Conversation
Replying to
Being able to separate interfaces from implementations, and hide internal representations is so powerful. I wish more people knew about this stuff! I find OCaml's implementation clunky in many ways, but yeah, I still really like it in general. :)
2
1
6
Replying to
it’s super useful. i also like haskell’s approach where libraries can specify an interface and the application author just specifies a module that satisfies that interface. i’ve never used it but i think it would get me 95% of the way there
2
2
also i read a fun paper a long time ago describing how to recreate the ML module system using sigma types but i can’t find it. also there’s this:
1
2
Show replies