PureScript

维基百科,自由的百科全书
跳到导航 跳到搜索
PureScript
PureScript Logo.png
编程范型函数式
設計者Phil Freeman
发行时间2013年,​8年前​(2013
穩定版本
0.14.0
(2021年3月1日,​7個月前​(2021-03-01
型態系統类型推论, 静态, 强类型
許可證三条款BSD许可证[1]
文件扩展名.purs
網站www.purescript.org
啟發語言
Haskell, JavaScript

PureScript是一种强类型纯函数式、最终编译JavaScript编程语言。PureScript可以开发网络应用程序、服务端应用程序,也可以借助Electron开发桌面应用程序。其语法大多与Haskell相当[2]。此外,它还引入了行多态性和可扩展记录。[3] 不过,与Haskell相反的是,PureScript坚持严格求值策略

历史[编辑]

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

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

特征[编辑]

PureScript特征主要为严格求值持久性数据结构类型推论。PureScript的类型系统同类似的函数式语言如Haskell共享了很特征:代数数据类型英语algebraic data type模式匹配高种类类型英语Kind (type theory)类型类函数依赖高秩多态。PureScript的类型系统增加了对行多态英语Row polymorphism和可扩展记录的支持[11]。但是,PureScript缺乏对Haskell的某些更高级特征如GADT英语Generalized algebraic data type类型家族英语Type family的支持。

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

PureScript支持增量编译,而且编译器发行包括了支持为迭代开发建造源代码编辑器插件[13]。存在编辑器插件针对很多流行的编辑器,包括VimEmacsSublime TextAtomVisual Studio Code

PureScript通过它的“类型孔洞”特征支持“类型驱动开发”[14],在其中可以构造具有缺失子表达式的程序。编译器随后将尝试推论出缺失子表达式的类型,并将这些类型报告给用户。这个特征已经启发了GHC英语Glasgow Haskell Compiler Haskell编译器的类似工作[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:一种领域特定编程语言,用于声明式创建基于web浏览器的图形用户界面。
  • ReasonOCaml的语法扩展和工具链,也可以转译成JavaScript。

引用[编辑]

  1. ^ purescript/purescript. GitHub. 
  2. ^ PureScript for the Haskeller - Where to get started in PureScript for the Haskell programmer. 
  3. ^ PureScript. www.purescript.org. [2019-03-14]. (原始内容存档于2021-02-05). 
  4. ^ PureScript - Strongly Typed Programming Language Compiling to JavaScript - Interview with Phil Freeman. 
  5. ^ The JavaScript Problem. 
  6. ^ Leanpub. leanpub.com. [2019-03-14]. (原始内容存档于2020-11-29). 
  7. ^ awesome-purescript. 
  8. ^ A build tool for PureScript projects, PureScript Contrib, 2019-03-08 [2019-03-14] 
  9. ^ Pursuit. pursuit.purescript.org. [2019-03-14]. 
  10. ^ 🍝 PureScript package manager and build tool powered by Dhall and package-sets: spacchetti/spago, spacchetti, 2019-03-14 [2019-03-14] 
  11. ^ Documentation for the PureScript language, compiler, and tools.: purescript/documentation, PureScript, 2019-03-14 [2019-03-14] 
  12. ^ Documentation for the PureScript language, compiler, and tools.: purescript/documentation, PureScript, 2019-03-14 [2019-03-14] 
  13. ^ purs ide: Editor and tooling support for the PureScript programming language, 2019-04-21 [2019-04-21] 
  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 

外部链接[编辑]