@jonsterling @puffnfresh @edwinbrady I’ll let Edwin opine on this.
@cartazio @jonsterling @puffnfresh I'll opine once the initial ":(" has been elaborated...
-
-
@edwinbrady@cartazio@jonsterling I'm just grumpy about implicitness. Problems with typing, abstraction and coherency. Give me verbosity :( -
@puffnfresh@cartazio@jonsterling Precise types mean the elaborator writes things so you don't have to. Idris requires uniqueness.
End of conversation
New conversation -
-
-
@edwinbrady@jonsterling@puffnfresh I believe that it alludes to how implicits in scala are over used and have coherence / sanity issues -
@cartazio@edwinbrady@jonsterling@puffnfresh implicit conversions are basically localized subtyping
End of conversation
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.