文章摘要
Coalton Playground 是一个基于网页的 REPL 环境，专为 Coalton 设计。Coalton 是一种将 Haskell 类型系统融入 Common Lisp 的静态类型 Lisp 方言，兼具类型安全和 Lisp 的灵活性。作者因搭建 Lisp 环境繁琐而开发了该工具，使用户能在浏览器中直接体验 Coalton 编程。
文章总结
标题：Coalton Playground：在浏览器中体验类型安全的Lisp
主要内容：
作者分享了一个他长期开发并最终发布的项目——Coalton Playground。这是一个基于网页的REPL（交互式编程环境），专门用于运行Coalton，一种有趣的静态类型Lisp方言。
什么是Coalton？
Coalton是一种独特的编程语言，它将Haskell的类型系统融入Common Lisp中。它提供了代数数据类型和模式匹配等类型安全特性，同时与传统的Lisp代码兼容。官方描述为：“Coalton是一种高效的静态类型函数式编程语言，能够增强Common Lisp的功能。”
开发动机：
作者希望尝试Coalton，但搭建Lisp环境的过程繁琐，需要安装SBCL、Quicklisp，然后再安装Coalton。为了避免这些麻烦，作者决定创建一个可以直接在浏览器中使用的Coalton Playground。
功能展示：
用户可以在网页上编写Coalton代码，例如计算斐波那契数列的示例代码：
lisp
(coalton-toplevel
(declare fib (Integer -> Integer))
(define (fib n)
(if (<= n 1) n
(+ (fib (- n 1))
(fib (- n 2))))))
(cl:format cl:t "fib(10) = ~A~%" (coalton:coalton (fib 10)))
运行代码后，用户可以查看输出结果，并点击“生成代码”查看等效的Common Lisp代码。
技术细节：
为了提高运行速度，作者预先构建了已加载Coalton的SBCL核心，将启动时间从约400毫秒缩短至约80毫秒，使得整个体验更加流畅。
注意事项：
目前该项目尚未针对大规模使用进行优化，可能会出现随机错误或不可用的情况。
体验地址：
如果你对静态类型Lisp感兴趣，或者想花几分钟时间尝试一下，可以访问：https://coalton.app
网站上提供了一些入门示例，包括基础的阶乘和斐波那契数列计算，以及更高级的Monad示例。
总结：
作者希望通过这个项目分享他的成果，让更多人能够轻松体验Coalton的魅力。
评论总结
评论总结：
关于Coalton的性能与类型安全
- 观点：CraigJPerry认为Coalton更关注性能，并减少动态性，而Lisp（如SBCL）本身已经是类型安全的。
- 引用：
- "Is Coalton not more about performance, removing the dynamicism - lisp (at least SBCL) is already type-safe."
- "I'm completely clueless about Coalton, (and almost completely an idiot when it comes to CL more generally..."
页面布局问题
- 观点：anentropic指出在非最大化窗口大小下，博客文章的布局存在问题，文本会溢出页面右侧。
- 引用：
- "Layout is broken on non-maximised window sizes (text overflows off the right edge of the page)."
- "EDIT: I'm referring to layout of the blog post in the thread title..."
宏与静态类型的关系
- 观点：paddy_m认为宏与强类型或静态类型并不冲突，并提出了一个带有可选静态类型的Lisp的设想，认为宏可以生成类型，甚至替代泛型。
- 引用：
- "I have heard multiple people claim that macros are incompatible with strong or static typing and I don't see why."
- "If there were a lisp with optional static typing like typescript, it would seem to me to be completely possible to write macros that write types."
示例代码问题
- 观点：manoDev指出在“maybe monad”之后的多个示例代码存在问题。
- 引用：
- "OP: You might want to check, a bunch of examples after "maybe monad" are broken."