PureScript
PureScript是一种强类型、纯函数式、最终编译为JavaScript的编程语言。PureScript可以开发网络应用程序、服务端应用程序，也可以借助Electron开发桌面应用程序。其语法大多与Haskell相当。此外，它还引入了行多态性和可扩展记录。不过，与Haskell相反的是，PureScript坚持严格求值策略。 历史 PureScript最初由费尔·弗里曼在2013年设计。他曾屡次尝试在保留語義的情況下，将Haskell…
标签：#2013年建立的程式語言
共 3 篇文章
Hy语言
Hy是Lisp编程语言的一种方言，它设计用于同Python语言进行交互，方式是把表达式翻译成Python的抽象语法树（AST）。Paul Tagliamonte在2013年于Python会议（PyCon）介绍了Hy。Lisp允许操作代码如同数据（元编程），故而Hy可以用来书写领域特定语言。 类似于和Clojure将s-表达式映射到Java虚拟机（JVM）之上，Hy必定作为Python抽象语法树的透明Lisp前端来运行。Lisp允许像数据…
Lean
Lean是一款在含歸納類型的構造演算基礎上所開發的電腦證明助手和函數式編程語言。Lean最初由在微軟研究院下研發，目前以開源合作計劃的形式刊登在GitHub上。2023年成立的非盈利Lean集中研究組織（，縮寫Lean FRO）支持Lean的持續開發。 歷史 2013年，當時在微軟研究院工作的萊昂納多·德·莫拉發佈函數式編程語言Lean。早期版本（後來被稱為Lean 1和2）純粹為實驗版本，當時支援的同倫類型論數學基礎在後來的版本中不再…