category of modules (ML)
Conversation
Same! 1ML is so ridiculously cool even though I haven't used it… haven't really used languages with super nice module systems in practice actually.
Mostly use typeclass (ie. trait-based) stuff day-to-day and am so jealous of these nice module systems… 🥺
1
2
Keep saying to myself that I'll eventually get good enough at implementing elaborators to tackle trying to make one myself… just not this week, alas :(
1
2
Also allow me spruik 's thingy that I hope to one day understand better (no idea if it actually defines a category of modules though haha): twitter.com/jonmsterling/s
This Tweet is unavailable.
1
2
There are catergoryish thingies in there like pushouts and morphisms and stuff though, but at that point I'm struggling a bit 😳