3 ms·
Now these are some cool resources! Thank you for providing them. I'm really starting to enjoy Joy, J, FP, and other languages based on a similar combinator-lik
by imode 8y ago
Now these are some cool resources! Thank you for providing them.
I'm really starting to enjoy Joy, J, FP, and other languages based on a similar combinator-like basis. I'll have to read over Compiling to Categories, because that certainly is something that catches my eye.
- carapace 8y agoCheers! I have a hunch that the Categorical programming paradigm will prove to be really cool. I hope it doesn't take decades to get into common use, eh? You might also like this version of Joy implemented in Prolog: https://osdn.net/projects/joypy/scm/hg/Joypy/blobs/tip/thun/thun.pl https://osdn.net/projects/joypy/scm/hg/Joypy/blobs/tip/thun/... Check out the "compiler" at the bottom.