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
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.
8:55 AM - 28 Nov 2017
0 replies
0 retweets
2 likes
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!