Project Templates์ถœ์ฒ˜: Show HN์กฐํšŒ์ˆ˜ 50

Show HN: CPL โ€“ A categorical programming language that runs in the browser

By msakai
2026๋…„ 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์—์„œ ์ œ๊ณตํ•˜๋Š” ์ตœ์‹  ๊ฐœ๋ฐœ ๋™ํ–ฅ์ž…๋‹ˆ๋‹ค. ๊ด€๋ จ ๋„๊ตฌ๋‚˜ ๊ธฐ์ˆ ์— ๋Œ€ํ•ด ๋” ์•Œ์•„๋ณด์‹œ๋ ค๋ฉด ์›๋ณธ ๋งํฌ๋ฅผ ์ฐธ๊ณ ํ•˜์„ธ์š”.