3 ms·
As a Lisper, I love Clojure and all Rich Hickey does. However, Haskell and categories seem to offer quite appealing approaches to compositionality: http://con
by nextos 7y ago
As a Lisper, I love Clojure and all Rich Hickey does.
However, Haskell and categories seem to offer quite appealing approaches to compositionality:
http://conal.net/talks/compiling-to-categories.pdf http://conal.net/talks/compiling-to-categories.pdf
https://arxiv.org/abs/1803.05316 https://arxiv.org/abs/1803.05316
- nextos 7y agoJust to elaborate a bit further, the first link is a talk on the following paper: http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf http://conal.net/papers/compiling-to-categories/compiling-to... It's quite interesting to see how things like automatic differentiation get expressed in this framework.