When you're at the candy store and they ask you to choose just one thing

I'm team typeclasses + effect system and I can't choose between the two ;_;

Show thread
@kit_ty_kate How could OCaml's module system become even more powerful?

@acuteanniemay I'm sure the authors of the type-checker would find something to add 😅 A few years ago I would've said the same thing and they still managed to add Generative functors, structural comparison of package types (for first-class modules) and some nice syntactic sugars.

Sign in to participate in the conversation
Lesbiab Space

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!