PureScript

PureScript最初由费尔·弗里曼在2013年设计^[5]。他曾屡次尝试在保留語義的情況下，将Haskell编译成JavaScript（如使用Fay、Haste或GHCJS^[6]），但结果并不满意，於是他开始着手在PureScript上工作。^[7]

从此以后它由社区接手并在GitHub继续开发^[8]。社区开发的额外核心工具包括专门的构建工具Pulp^[9]、文档目录Pursuit^[10]和包管理器Spago^[11]。

PureScript特征主要为严格求值、持久性数据结构和类型推论。PureScript的类型系统同类似的函数式语言如Haskell共享了很特征：代数数据类型及模式匹配、高种类类型、类型类及函数依赖和高秩多态。PureScript的类型系统增加了对行多态和可扩展记录的支持^[12]。但是，PureScript缺乏对Haskell的某些更高级特征如GADT和类型家族的支持。

PureScript编译器尝试产生尽可能可读的JavaScript代码。通过一个简单的FFI接口，它还允许重用现存的JavaScript代码^[12]。

PureScript支持增量编译，而且编译器发行包括了支持为迭代开发建造源代码编辑器插件^[13]。存在编辑器插件针对很多流行的编辑器，包括Vim、Emacs、Sublime Text、Atom和Visual Studio Code。

PureScript通过它的“类型孔洞”特征支持“类型驱动开发”^[14]，在其中可以构造具有缺失子表达式的程序。编译器随后将尝试推论出缺失子表达式的类型，并将这些类型报告给用户。这个特征已经启发了GHC的类似工作^[15]。

一个最精简的Hello world程序如下：

module Main where

import Effect.Console (log)

main = log "Hello World!"

在这里，程序的类型是由PureScript编译器推论出并检查。相同程序的更冗长版本可以包括显式的类型标注：

module Main where

import Prelude

import Effect (Effect)
import Effect.Console (log)

main :: Effect Unit
main = log "Hello World!"

• Elm——一种领域特定编程语言，用于声明式创建基于网页浏览器的图形用户界面。
• Reason——OCaml的语法扩展和工具链，也可以转译成JavaScript。
• JS++。
• TypeScript。

1. ^ Release 0.15.16. 2026年3月15日 [2026年4月7日].
2. ^ purescript/purescript. GitHub. [2021-02-14]. （原始内容存档于2021-04-25）.
3. ^ PureScript for the Haskeller － Where to get started in PureScript for the Haskell programmer. [2021-02-28]. （原始内容存档于2020-11-08）.
4. ^ PureScript. www.purescript.org. [2019-03-14]. （原始内容存档于2021-02-05）.
5. ^ PureScript - Strongly Typed Programming Language Compiling to JavaScript - Interview with Phil Freeman. [2021-02-28]. （原始内容存档于2021-01-18）.
6. ^ The JavaScript Problem. [2021-02-28]. （原始内容存档于2020-12-09）.
7. ^ Read PureScript by Example | Leanpub. leanpub.com. [2019-03-14]. （原始内容存档于2020-11-29）.
8. ^ awesome-purescript. [2021-02-28]. （原始内容存档于2021-11-21）.
9. ^ A build tool for PureScript projects, PureScript Contrib, 2019-03-08 [2019-03-14], （原始内容存档于2020-12-05）
10. ^ Pursuit. pursuit.purescript.org. [2019-03-14]. （原始内容存档于2021-03-01）.
11. ^ 🍝 PureScript package manager and build tool powered by Dhall and package-sets: spacchetti/spago, spacchetti, 2019-03-14 [2019-03-14]
12. ^ a b Documentation for the PureScript language, compiler, and tools.: purescript/documentation, PureScript, 2019-03-14 [2019-03-14], （原始内容存档于2021-04-25）
13. ^ purs ide: Editor and tooling support for the PureScript programming language, 2019-04-21 [2019-04-21], （原始内容存档于2025-12-06）
14. ^ Implementing type directed search for PureScript, 2016-10-27
15. ^ Matthías Páll Gissurarson, Suggesting Valid Hole Fits for Typed-Holes (Experience Report), 2018-09-27

• Official website （页面存档备份，存于互联网档案馆）
• PureScript Playground （页面存档备份，存于互联网档案馆）