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
Replying to @evertedsphere
I was thinking that in Idris 2 data constructors should be namespaced like record fields are. If nothing else, you could then disambiguate by type name, e.g. List.(::) rather than the module it's defined it.
0 replies
1 retweet
18 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.