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
Replying to
Yess! This drives me up the wall in Haskell, Agda, and Coq. :(
That along with `import` or `open` that dumps the entire contents of a module into scope. 😭
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
Show replies