when will we have proper Rust-like namespacing for constructor names so i can stop having to prefix type names like in data Thing = ThingFoo | ThingBar until the end of time. please
Conversation
Yess! This drives me up the wall in Haskell, Agda, and Coq. :(
2
2
In Agda and Coq you can at least nest modules to get a workaround...
1
galaxy brain use template Haskell to create files containing auxiliary modules
3
3
universe brain use external dsl to generate and api that abstracts over bundled and unbundled module representations
1
2
Something is suspicious here arrgh whyyy, where are the references, what does this category theory mean???
1
Wait are you posting this in the right thread? If yes, can you explain what's the link? No ELI5 needed, an E(xplanation) should suffice...
1
Sorry more to do with bundling/unbundling than the original topic at hand! 😅 Kind of fascinated by this but very theoretically under-equipped ncatlab.org/nlab/show/nece