What's preventing Haskell from implementing Named Instances for typeclasses ala Idris (http://idris.readthedocs.org/en/latest/tutorial/classes.html#named-instances …)? Anything wrong w/ the idea?
-
-
@edwinbrady For simple types the compiler could use the Named Instance to do the Newtype trickery behind the scenes, potentially. -
@edwinbrady (although, admittedly there's probably a lot of nuance there).
End of conversation
New conversation -
-
-
@edwinbrady@aaronmblevin Idris programmers are all incoherent anyway.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.