CPL is a programming language based on category theory, originally designed by Tatsuya Hagino in his 1987 PhD thesis at the University of Edinburgh. It has no built-in data types — products, coproducts, natural numbers, and even exponentials (function space) are all defined by the user using F,G-dialgebras.
In this release, CPL now runs in your browser via WebAssembly with no installation required. I’ve also added tutorials in both English and Japanese.
Comments URL: https://news.ycombinator.com/item?id=46942719
Points: 1
# Comments: 0