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.
-
Show this thread
-
Replying to @jdegoes
One problem with Category Theory is that mathematicians got all their naming and notation conventions fractally wrong (i.e. wrong at every level). One challenge is for programming languages and libraries to fix it without breaking the chain of knowledge.
3 replies 0 retweets 5 likes -
-
Replying to @jdegoes
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).
2 replies 0 retweets 2 likes
Also, unify the notation for both implication and function as x→y for all levels of types, and use x⇒y to distinguish depth of discourse (quotation / internalization).
9:06 AM - 28 Nov 2017
0 replies
0 retweets
1 like
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!