CPL – A categorical programming language that runs in the browser

Show HN: CPL – A categorical programming language that runs in the browser

CPL – A categorical programming language that runs in the browser operates in show hn launch.

Profile

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.

CPL – A categorical programming language that runs in the browser is positioned in show hn launch, a segment that rewards a clear, focused offering.

It is recorded at the Show HN launch stage.

Website: msakai.github.io/cpl