Coalton Playground: Type-Safe Lisp in the Browser
9 months ago
- #programming
- #repl
- #lisp
- Coalton Playground 是一个基于网页的REPL环境，专为静态类型Lisp方言Coalton设计
- Coalton将Haskell的类型系统与Common Lisp结合，提供代数数据类型和模式匹配功能
- 该项目旨在简化Coalton实验过程，无需配置完整Lisp开发环境
- 用户可直接在浏览器中编写运行Coalton代码，并查看生成的Common Lisp代码
- 性能优化包括预构建含Coalton的SBCL核心，显著降低启动时间
- 该平台提供阶乘、斐波那契、单子等示例代码供用户探索