文件名称：talk-2015-more-elegant-frp:FRP的更优雅规格
文件大小：325KB
文件格式：ZIP
更新时间：2024-05-19 12:08:20
TeX
FRP的更优雅规格 在2015年 （7月15日至日）上演讲。 幻灯片（PDF）：，或。 相关演讲，也来自Lambda Jam 2015： 抽象的 这次演讲是我在函数式React性编程（FRP）的主题演讲与Denotational设计研讨会之间的桥梁。 通过说明意义函数分布在抽象接口上，并精确化为简单（可能是熟悉的）方程式，我展示了如何替换大部分FRP的原始表示法（语义规范）。 由此产生的表示形式与FRP的原始规范（系统定义较少）完全相同，但不必专门为FRP发明。 我称这种模式为“具有类型类同态性的名词化设计”，并发现它也适用于许多其他库设计，其中一些出现在较长的工作室中。 遵循此模式可提供简单，精确且引人注目的“免费规格”，同时确保通常的代数法则成立并防止抽象泄漏。
【文件预览】：
talk-2015-more-elegant-frp-lambdajam-2015
----macros.tex(4KB)
----.gitignore(118B)
----Makefile(493B)
----paul-hudak.jpg(315KB)
----mine.fmt(2KB)
----README.md(2KB)
----notes.md(9KB)
----more-elegant-frp.lhs(9KB)