作者开发了catlang编程语言，通过抽象范畴论中间表示层将代码编译为SQL。该语言的核心语义基于范畴论构建，可将函数（如while循环计数器）编译为PostgreSQL的SELECT语句执行。
背景
Catlang是由Reasonably Polymorphic博客作者开发的实验性编程语言，展示了如何将范畴论构造作为实用的编译目标，并以SQL作为运行时底层支持。
- 来源
- Lobsters
- 发布时间
- 2026年11月4日 23:49
- 评分
- 6.0 / 10
作者开发了catlang编程语言，通过抽象范畴论中间表示层将代码编译为SQL。该语言的核心语义基于范畴论构建，可将函数（如while循环计数器）编译为PostgreSQL的SELECT语句执行。
Catlang是由Reasonably Polymorphic博客作者开发的实验性编程语言，展示了如何将范畴论构造作为实用的编译目标，并以SQL作为运行时底层支持。