简单有效的功能反应性

2008年4月4日下午02:27

我提交了一篇论文简单有效的功能反应性到2008年ICFP.

摘要：

函数式反应式编程（FRP）具有简单而强大的语义，但一直抵制高效的实现。特别是，过去的大多数实现都使用了需求驱动采样，它适应了FRP的连续时间语义，并且很好地符合函数编程的本质。因此，即使输入没有改变，也会浪费重新计算值，并且反应延迟可能与采样周期一样高。

本文提出了一种实现FRP的方法，该方法结合了数据和需求驱动的评估，其中仅在必要时重新计算值，并且反应几乎是瞬时的。该实现基于FRP及其语义的一种新的简单公式，因此易于理解和推理。

在通往效率和简单的道路上，我们将结识一些老朋友（幺半群、函子、应用函子、单子、形态和改进值），并结识一些新朋友（函数未来值、反应范式和并发的“明确选择”）。

标签：,,,,,,,,,,,,,,,,,,,,,,|33条评论

“有形函数编程”-icfp版本

2007年7月9日，09:19 pm

我刚刚提交了“有形函数编程”，用于2007年ICFP。我对这个版本很满意。自从我第一次提交给ICFP'06以来，由于许多有用的评论，它得到了极大的改进。我还在深箭头,菲奥伊、和电视，为软件版本做准备。它变得越来越简单，但并不像我想的那么简单。

标签：,,,,,,,,,,|注释

ICFP’07纸质草案-请发表意见

2007年3月27日上午11:14

警告：如果你是ICFP项目委员会的成员，并且想保持双盲审查，请忽略此帖子。

我一直在写一篇名为“有形函数编程“，修改了我去年提交的关于爱神的报告。如果您有兴趣看一看，我将非常感谢您的任何评论，尤其是在4月6日提交截止日期之前。

摘要

我们基于“有形价值”（TVs）的概念，提出了一种统一程序创建和执行的用户友好方法，这是纯价值的可视和交互式GUI表现。节目是通过电视的手势合成进行的。我们的目标是让最终用户能够创建参数化、可组合的内容，而不会强加程序员通常的抽象和语言工作风格。我们希望这样的系统将把编程的精髓交给更多的人，特别是具有艺术/视觉创意风格的人。

在实现这一愿景的过程中，我们开发了用于可视化表示和“深层”函数应用的代数，其中函数和参数可以嵌套在元组、函数等的结构中。组合手势被转换为组合器链，这些组合器链同时作用于静态类型的值及其可视化。

这是本文中的一个图，显示了交互式合成的交互式2D区域的一个阶段。用户通常在不同的电视中选择兼容类型的输入和输出小部件。结果是一个新的电视合并了源电视，除了对于连接的输入和输出，它们将消失。滑块控制磁盘和棋盘格大小以及棋盘格的旋转角度。

编辑3月28日：我刚刚向论文网页：

标签：,,,,,|1条评论