Changing the order of type-class constraints on a type signature may break existing Haskell code.
-
*sad trompet* I don't understand why though, as it is suppose to annotate the type of arguments, right?
It's a consequence of stringly-typed programming in stringly programming languages.
-
-
I don't see what strings have to do with this. It's about explicit vs implicit.
-
Programming against the hypothetical Haskell AST, instead of a text editor, resolves the matter to non-existence.
- Show replies
New conversation -
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.