4 ms·
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt th
by neoncontrails 9y ago
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt that strictly typed functional languages have a more convenient syntax for these concepts, and that translating those into Python, or even Java, would be difficult. But not impossible, and it might even help to illustrate why Haskell and ML are appealing choices to someone wanting to use these models in production.
- amboo7 9y agoIn case Common Lisp is mainstream: https://www.researchgate.net/publication/279847876_A_DSEL_for_Computational_Category_Theory https://www.researchgate.net/publication/279847876_A_DSEL_fo...
- neoncontrails 9y agoI appreciate this. Thanks!
- mrkgnao 9y ago(Python would be harder for this than Java.)
- neoncontrails 9y agoDefinitely. I said that poorly, what I meant was "it'd unquestionably be hard in Python, and it'd even be hard in Java"
- jrmo2 9y agoHere is a bit in Julia I wrote: https://github.com/jasonmorton/Cateno https://github.com/jasonmorton/Cateno