SISAL(串流和迭代所用单赋值语言)是通用单赋值函数式编程语言,它具有、和高效阵列处理。SISAL输出中间形式1(IF1)的数据流程图。它派生自VAL(1979年设计的面向值的算法语言),并增加了递归和有限串流(stream)。它有着类Pascal语法,并被设计为用于在各种多处理器上的数值程序的高级语言。
历史
SISAL的定义在1983年由James McGraw等人于曼彻斯特大学、劳伦斯利弗莫尔国家实验室、科罗拉多州立大学和DEC提出。它被修订于1985年,而第一个编译实现于1986年做出。据某些来源所说,它的性能优于C并匹敌Fortran,它将高效性和结合了起来。
它有如下版本:Cray 、Cray 、Cray-2、、、DEC VAX-11/784、、KSR1、Transputer和脉动阵列。
架构
SISAL不只是数据流程和细粒度并行的语言。它还是把人类可读文字的数据流程语言转换成图格式(所谓的“IF1”,即中间形式1)的一组工具。SISAL计划有一部份还涉及到将这种图转换成可运行的C代码。
在2018年于SISAL-IS计划中SISAL被现代化为基于缩进的语法、头等函数、lambda、闭包和惰性语义。
脚注
引用
- [https://web.archive.org/web/20070920003407/http://hopl.murdoch.edu.au/showlanguage.prx?exp=876 VAL Overview]
- [http://www.cmp.uea.ac.uk/~jrwg/Sisal/00.Contents.html Sisal Language Tutorial]
外部链接
- [http://sourceforge.net/projects/sisal SISAL Parallel Programming] SourceForge.net project page
评论 (0)