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???
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