Category theory has virally spread from Haskell to Scala, PureScript, and other languages because fundamentally, it's a *language of composition*. It lets us talk about the way functional programs compose from smaller pieces.
-
-
Help us fix it. :-)
-
Modest contribution to language and/or type notation: never write yˣ, write x→y if function application is postfix (better) or y←x if function application is prefix (worse).
- 1 more reply
New conversation -
-
-
There is a good reason why mathematicians get it wrong: the first discoverer barely understands what he's doing; followers are constrained to repeat recognizably (though not faithfully, hence noise). They even benefit from unusability through heightened expertise.
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.
Read my blog!