ISWIM
ISWIM（“If you See What I Mean”的首字母缩写），是一种抽象的计算机编程语言或编程语言家族，它由彼得·兰丁设计，并描述在他1966年于ACM通讯发表的文章《接下来的700种编程语言》之中。 尽管没有实现，它被证明为在编程语言开发中非常有影响力的语言，特别是对于函数式编程语言，比如SASL、ML、NPL、Haskell和它们的后继者，还有数据流程编程语言如Lucid。 概述 ISWIM是具有函数式核心的指令式编程…
标签：#函数式编程语言
共 59 篇文章
Wolfram语言
Wolfram语言（通常指代Mathematica或者缩写为 M）是Mathematica 和Wolfram Programming Cloud所使用的语言。这是一种由沃尔夫勒姆研究公司开发的多范型编程语言。它具有广泛和普遍的适用性，主要特点是符号计算、函数式编程和基于规则的编程。它可以用来创建和表示任何结构和数据。 它与Raspberry Pi上安装的系统软件捆绑。Intel Edison与Unity游戏引擎也集成了该语言。 命名 该…
SISAL
SISAL（串流和迭代所用单赋值语言）是通用单赋值函数式编程语言，它具有、和高效阵列处理。SISAL输出中间形式1（IF1）的数据流程图。它派生自VAL（1979年设计的面向值的算法语言），并增加了递归和有限串流（stream）。它有着类Pascal语法，并被设计为用于在各种多处理器上的数值程序的高级语言。 历史 SISAL的定义在1983年由James McGraw等人于曼彻斯特大学、劳伦斯利弗莫尔国家实验室、科罗拉多州立大学和DEC…
Racket
（原名 ）是個通用、多範型，屬於Lisp家族的函數式程序设计語言，它的設計目之一是為了提供一種用於創造設計與實作其它編程語言的平台，Racket被用於腳本程式設計、通用程式設計、電腦科學教育和學術研究等不同領域。 Racket有一個實作平台，包含了執行環境、函数庫、即時編譯器（）等等，還有提供一個以Racket本身寫成的開發環境 DrRacket (原名 )。 Racket平台的發行版本是免費且開放原始碼的，以GNU宽通用公共许可证授權…
PureScript
PureScript是一种强类型、纯函数式、最终编译为JavaScript的编程语言。PureScript可以开发网络应用程序、服务端应用程序，也可以借助Electron开发桌面应用程序。其语法大多与Haskell相当。此外，它还引入了行多态性和可扩展记录。不过，与Haskell相反的是，PureScript坚持严格求值策略。 历史 PureScript最初由费尔·弗里曼在2013年设计。他曾屡次尝试在保留語義的情況下，将Haskell…
PAL语言
PAL，是教育算法语言（Pedagogic Algorithmic Language）的首字母简写，它是在大约1967年于麻省理工学院开发的编程语言，用于帮助教授编程语言语义和设计。它是ISWIM的直接后代，并拥有很多来自Christopher Strachey的哲学。 PAL最初用Lisp实现，由彼得·蘭丁和小詹姆斯·H·莫里斯（James H. Morris, Jr.）书写。后来馬丁·理察德、Thomas J. Barkalow、A…
JavaScript
JavaScript（通常缩写为JS）是一门基于原型和头等函数的多范式高级直譯}-编程语言，它支持面向对象程式設計、指令式编程和函数式编程。它提供方法来操控文本、数组、日期以及正则表达式等。不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它由Ecma通过ECMAScript实现语言的标准化。 对于客户端来说，JavaScript通常被实现为一门解释语言，但如今它已经可以被即时编译（JIT）。随着HTML5和CS…
NewLISP
newLISP是作为Lisp方言的脚本语言。它由Lutz Mueller设计和开发。newLISP是在GNU通用公共许可证版本3及以后版本下发行的自由及开放源代码软件。 哲学 newLISP尝试提供快速、强力、跨平台、全特征的脚本语言版本的Lisp语言，然而只使用最现代的系统资源比如数据存储（例如磁盘空间）和内存。 它提供的Lisp特征包括：列表、符号处理、函数映射、匿名函数（lambda表达式）、S-表达式（排除不适当列表）和宏。它还…
Lush
Lush（Lisp Universal SHell）是一种面向对象语言，一般应用于科研、工程等需要大规模数值计算或图像处理的领域。其特点是把灵活易用的弱类型解释性语言（如Python、Perl、MATLAB等，Lush使用LISP表达式），与编译性语言C、C++等的代码集成一体。Lush使用LISP形式的表达式，但是整个程序（甚至某一函数体内）中可以与C语言混合编程。 Lush最初由Leon Bottou与扬·勒丘恩（同样是DjVu格式…
J语言
J语言，是一种阵列编程语言，由肯尼斯·艾佛森和於1990年代初發明。J语言是APL語言的一种方言，延续了APL鲜明的簡潔性，它在數學和统计学程式設計上十分高效，特別是在需要进行矩陣运算的场合。 J语言最初起步于肯尼斯·艾佛森在1987年发表的《APL字典》，它实现了其中至关重要的秩的概念。J语言提供隐式定义机制包括秩、钩子、叉子和多种，并介入了作为头等对象的动名词，用以建立控制结构，它常被作为隱式編程的典范之一。 简介 J语言的运算符，…
Jq语言
{{Infobox programming language | name = jq | logo = Jq logo.svg | logo caption = jq官方图标 | logo size = 120px | logo alt = | paradigms = 纯函数式，面向JSON，隐式，管道 | year = | designer = Stephen Dolan | programming language = jq：C，g…
OCaml
OCaml（ ），是一个函数式、指令式、模块化，Didier Rémy和Jérôme Vouillon，于1996年增加了面向对象特征，从而形成了“Objective Caml”，在2011年时重命名为“OCaml”。 OCaml工具链包括交互式顶层解释器、字节码编译器、优化的本机代码编译器，可逆调试器和一个包管理器（OPAM）。OCaml最初开发于自动定理证明的场景中，并在静态分析和形式方法软件中有超凡的存在感。此外，它在系统编程、网…
LISP
Lisp（過去拼寫為LISP）是具有悠久歷史的計算機編程語言家族，有獨特的完全用圓括號的前綴符號表示法。它起源於1958年。Lisp編程語族已經演變出許多種方言，現代最著名的通用編程方言是Scheme、Common Lisp和新近的Clojure。 简介 Lisp最初是為計算機程序創建的實用數學表示法，當時借鑒過阿隆佐·邱奇的lambda表示法。它很快成為人工智能研究中最受歡迎的編程語言。作為早期的高階編程語言之一，Lisp開創了計算機…
Cuneiform语言
Cuneiform是用于大规模科学数据分析的开源。 它是促进并行计算的静态类型的纯函数式编程语言。它的特征是有个全功能的，允许用户集成来自很多外部编程语言的软件。Cuneiform在组织层面上提供了一些设施，如条件分支和通用递归，使其具有图灵完备性。 概述 Cuneiform尝试拉近在科学工作流程系统如、或Galaxy，与大规模数据分析程序模型如MapReduce或Pig Latin之间的间隙，同时提供函数式编程语言的通用性。 Cune…
FP语言
FP（缩写的Functional Programming），最终导致了现代函数式语言，但不是Backus曾希望的函数级范型。 在他的这篇图灵奖论文中，Backus描述了FP风格与基于lambda演算的语言有着如何不同： {{quote|FP系统基于了对叫做泛函形式（functional form）的一组固定的组合形式的利用。它们加上简单的定义，就是从现存函数建造新函数的唯一方式；它们不使用变量或替代（substitution）规则，并且…
Elm语言
Elm是一个领域特定编程语言，用于声明式地创建基于web浏览器的图形用户界面。Elm是纯函数式的，开发它时强调了易用性、性能和健壮性。它宣传为“实际上没有运行时间异常”，Elm编译器的静态类型检查使之成为可能。 历史 Elm最初由Evan Czaplicki在2012年作为毕业论文《Elm：用于函数式GUI的并发FRP而设计的。Elm的首次发行带有很多例子和一个在线编辑器，使得易于在web浏览器中试验它。Evan在2013年加入Prez…
Common Lisp
Common Lisp，縮寫為CL（不是組合邏輯的縮寫）是Lisp編程語言的一種方言，由ANSI INCITS 226-1994(R2004)（前身為ANSI X3.226-1994(R1999)），所定義的語言規範標準。Common Lisp HyperSpec是源自於ANSI Common Lisp標準的網頁超連結版本。 CL語言是為標準化和改良Maclisp而開發的後繼者。到20世紀80年代初，幾個工作群組已經在設計MacLisp…
Haskell
Haskell（）是一种标准化的，通用的纯函數式編程語言，有惰性求值和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是頭等物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda语言的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标…
Erlang
{{Otheruses|subject=-{zh-hans:程序设计语言; zh-hant:程式語言;}-Erlang|disambig=Erlang (消歧義)}} {{Infobox programming language | name = Erlang | logo = Erlang logo.svg | logo_size = 200x100px | paradigm = 多重典範}-：函數式、並行}- | year = | …
Caml
Caml（：範疇抽象機語言），是一種函數式、指令式的程式語言。最早由法國的INRIA和ENS联合的Formel项目發展出來，是ML语言的两种方言之一，現在主要由INRIA負責維護與發展。Caml是一种语言规范；它早期有过几个实现，目前除了仍然活跃的OCaml，发布于2002年的Caml Light是Caml的另一个实现。 历史 在1981年，INRIA的，将最初的 ML适配到Multics系统的Maclisp下，并且增加了编译器，它被开…