Project Templates์ถ์ฒ: Show HN์กฐํ์ 52
Show HN: CPL โ A categorical programming language that runs in the browser
By msakai2026๋
2์ 9์ผ
**Show HN: CPL โ A categorical programming language that runs in the browser**
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
---
**[devsupporter ํด์ค]**
์ด ๊ธฐ์ฌ๋ Show HN์์ ์ ๊ณตํ๋ ์ต์ ๊ฐ๋ฐ ๋ํฅ์ ๋๋ค. ๊ด๋ จ ๋๊ตฌ๋ ๊ธฐ์ ์ ๋ํด ๋ ์์๋ณด์๋ ค๋ฉด ์๋ณธ ๋งํฌ๋ฅผ ์ฐธ๊ณ ํ์ธ์.
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
---
**[devsupporter ํด์ค]**
์ด ๊ธฐ์ฌ๋ Show HN์์ ์ ๊ณตํ๋ ์ต์ ๊ฐ๋ฐ ๋ํฅ์ ๋๋ค. ๊ด๋ จ ๋๊ตฌ๋ ๊ธฐ์ ์ ๋ํด ๋ ์์๋ณด์๋ ค๋ฉด ์๋ณธ ๋งํฌ๋ฅผ ์ฐธ๊ณ ํ์ธ์.