-
-
@dibblego@Symbo1ics While the declaration is painful, I think#Scala's (and#Coq's) way are superior to#Haskell's typeclasses-are-global. -
@oxnrtr@Symbo1ics coq and haskell both do it better than scala. GHC has implicits too; rarely used. Try again, sorry.
End of conversation
New conversation -
-
-
@dibblego@oxnrtr@Symbo1ics Scala can have type level combinators. Haskell I guess does not? -
@missingfaktor@oxnrtr@Symbo1ics why not? you mean by using rank-n? - 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.