2007年11月存档

有形函数式编程:可用性和可组合性的现代结合

本月早些时候,我在谷歌做了一个题为“有形函数编程:可用性和可组合性的现代结合”的技术演讲。感谢谷歌的员工,话题现在在YouTube上我展示了一种使函数式编程“有形”和可视化的方法,而不是抽象和语法化的方法,并通过这种方法实现了Unix最初对简单、可组合应用程序的设想。

关键是保持应用程序的界面和功能的结合和分离。组合产生可用性,分离产生复合性。这一原则不仅适用于GUI风格的界面,也适用于文本IO,并且适用于直接组合和语法组合。请参见电视页面例如后者。将IO与功能混合的常见做法会抑制C或Haskell中的可组合性。

编辑:

  • 2008年9月9日:本次技术讲座的技术/理论基础在论文中有形函数编程.
  • 2015-08-06:您可以找到技术讲座幻灯片在这里.