×

表格/3

swMATH ID: 30474
软件作者: 玛格丽特·伯内特;约翰·阿特伍德(John Atwood);Djang、Rebecca Walpole;詹姆斯·雷奇温(James Reichwein);Herkimer Gottfried;杨雪莉
描述: Forms/3:探索电子表格范例边界的一级视觉语言。虽然函数式编程的诽谤者有时声称函数式编程对于大多数程序员来说太难理解和使用,但通过查看电子表格的流行程度可以找到相反的证据。电子表格范式是函数式编程范式的一阶子集,在程序员和最终用户中都得到了广泛接受。尽管如此,大多数电子表格系统仍有许多局限性。在本文中,我们讨论了在不偏离一阶陈述性评估模型的情况下消除其中几个限制的语言特性。用于说明这些特性的语言是一种称为Forms/3的研究语言。使用Forms/3,我们表明在电子表格范式中可以支持过程抽象、数据抽象和图形输出。我们表明,随着时间模型的增加,动画输出和GUI I/O也变得可行。为了证明通用性,我们还提供了一个使用这些功能编程的动画图灵机器模拟器。在整篇文章中,我们将我们对编程语言特性的讨论与Forms/3中的原型语言特性如何与编程中的人类有效性相关。
主页: ftp://ftp.cs.orst.edu/pub/burnett/ForJFP/JFP.fordistrib.pdf
关键词: 函数式编程
相关软件: VTK公司Gencel公司超级对撞机康塔塔LISP公司OpenMusic音乐软糖哈斯克尔
引用于: 2文件

连载1篇

1 函数编程杂志

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文