I'm increasingly frustrated with the poor aesthetics of Haskell libraries. They end up adding punctuation soup to deal with naming conflicts. Particularly DSLs for HTML, SQL, first class records etc..
-
-
Replying to @kamatsu8
Surely missing language support for helping name resolution is largely to blame rather than the aesthetic sensibilities of library authors. I do agree that the current state is not good.
1 reply 0 retweets 5 likes -
Keeps coming up. Is there a technical limitation preventing this from being designed and implemented? Seems like name inference like (after type inference) would be holy grail.
3 replies 0 retweets 1 like -
Idris has a feature that sounds like what you want (although
@edwinbrady thinks it's allowed in too much generality, iirc).2 replies 0 retweets 1 like
Yes, the problem is that if you overuse it there can be lots of backtracking during type checking. I'm looking for a better way...
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.