Lucid语言
Lucid是数据流程编程语言，设计用来实验非冯·诺伊曼编程模型。它是William W. Wadge和Edward A. Ashcroft在1976年设计的，并描述于1985年的书籍《Lucid, the Dataflow Programming Language》。但是，数据流程释义在Lucid的演变方向上有着重要的影响。 细节 Lucid从ISWIM继承了where子句作为自己的块结构，从POP-2继承了数据类型。在Lucid中，每…
标签：#学术的编程语言
共 24 篇文章
SETL
SETL（SET语言）是一种基于数学集合论的领域特定的高级编程语言。它最初由（Jack）Jacob T. Schwartz于二十世纪六十年代末在纽约大学科朗数学研究所开发。 设计 SETL提供两种基本的聚合数据类型：无序的集合和序列（后者也称为元组）。集合和元组的元素可以是任意类型，包括集合和元组本身。映射是作为有序对（长度为2的元组）的集合提供的，并且可以具有任意的域和范围类型。SETL中的原始操作包括集合成员资格、联合、交集和幂集构…
Plankalkül
Plankalkül（）是康拉德·楚澤在1942至1945年间，出于工程目的而设计的一种编程语言。它是第一种为计算机设计的高级编程语言。 “Kalkül”在德语中意为形式系统。如希尔伯特演绎系统原本名为“Hilbert-Kalkül”那样，“Plankalkül”指用于规划（planning）的形式系统。 描述 Plankalkül可比较于APL和关系代数。它包括赋值语句、子例程、条件语句、迭代、浮点算术、阵列、层级记录结构、断言、例外…
Curry語言
Curry，是一種實驗式的函數程式語言，基於Haskell而實作，混合了函數與邏輯編程，也加入約束編程的特性。它的名稱取自數學家哈斯凱爾·加里，在許多層面，它可以被視為是Haskell的超集合。 參考資料 外部連結 [http://www.curry-language.org/ Curry官方首頁] [http://www-ps.informatik.uni-kiel.de/smap/ Smap] - A web-based execu…