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
Ideally, implementors of functional languages and large functional programming libraries should be on the same mailing list as authors of category theory books and discuss sensible naming conventions and notations.
9:02 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!