17、用 Clean 实现快速客户端 Web 开发

用 Clean 实现快速客户端 Web 开发

1. 背景与问题提出

在 Web 开发领域，JavaScript 是浏览器开发平台的唯一语言，但对于 Clean 程序员来说，使用 JavaScript 开发客户端 Web 应用并不令人满意。JavaScript 虽然有一些函数式特性，但与 Clean 相比，它缺乏类型安全，语法有时冗长且难看，这导致了生产力的损失。而且，程序员会怀念 Clean 这种设计良好、成熟的函数式语言的优雅，以及强类型系统和引用透明性所带来的自信。

然而，由于 JavaScript 在浏览器开发中的不可替代性，人们尝试将各种语言交叉编译成 JavaScript。对于命令式语言，这已经是一种成熟的技术，但对于函数式语言，情况并不明朗。特别是将像 Clean 这样的惰性函数式语言编译成 JavaScript 是一项棘手的工作，主要问题在于浏览器可用资源的限制，运行时系统对堆和栈的使用施加了严格的约束。虽然可以使用蹦床技术来克服递归导致的栈限制问题，但这会增加应用程序的内存占用和运行时间，对于惰性函数式语言来说通常效果不佳，因为这些语言需要维护延迟计算（thunks），从而导致更高的内存占用。

虽然已经有成熟的 Clean 到 JavaScript 的编译技术，但将 Clean 程序编译成 JavaScript 涉及多个步骤，这阻碍了使用 Clean 进行客户端 Web 应用的开发。具体步骤包括：
1. 使用 Clean 编译器将 Clean 程序转换为中间语言。
2. 使用独立应用程序将中间语言编译成 JavaScript。
3. 将生成的 JavaScript 代码集成到 Web 应用中。

这个复杂而繁琐的过程