PureScript

概述

PureScript 是一门编译到 JavaScript 的静态类型纯函数式编程语言，由 Phil Freeman 于 2013 年创建，语法和类型系统与 Haskell 高度相似。

与 Haskell 的差异

不同于 Haskell 的惰性求值，PureScript 采用严格（strict）求值，生成的 JavaScript 代码可读性较好且无笨重运行时。类型系统支持类型类、高阶类型（higher-kinded types）、行多态（row polymorphism）等特性，其中行多态使记录（record）类型的操作非常灵活。

生态与应用

PureScript 通常配合 Halogen 等 UI 库开发前端应用，也可通过不同后端编译到其他目标。它与 JavaScript 的互操作通过 FFI 显式声明。

定位

对于希望在浏览器环境使用完整 Haskell 式类型系统的团队，PureScript 是最接近的选择之一。