ML-style module systems are lots of fun haha
Conversation
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
Do you prefer SMLs modules?
1
Replying to
I dunno much of the difference, although I think I'd probably prefer OCaml's. By clunky I'm referring to the syntax, the way you are expected to ‘open’ modules, and the stratification of the core and module languages (although OCaml breaks this slightly in places).
Like, I think it would be nicer if the syntax core language and the module language were brought closer together (same goes for the type and term languages), even if you don't go all the way with dependent types.
2
1
I think Futhark does this and it looks really nice: futhark.readthedocs.io/en/latest/lang
But yeah, it's just the usual awkwardness that you expect with OCaml. 😅
1