@raichoo Is that actually controversial? That is actually "the most obvious thing Haskell got wrong" most of the places I go.
@jbetzend @raichoo Because so many people know Haskell, apparently. I just ignored it anyway.
-
-
@edwinbrady@raichoo So these people want to get into a dependently typed lang but are unhappy about finding the notation of type theory? ^^ -
@jbetzend
@raichoo The notation does seem to be one of the less important differences. But : is still right for type declarations ::).
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.