Jer*_*ell 12 language-agnostic theory functional-programming
首先,愚蠢的标题直接引用了本文:
http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf
我理解它的理论价值,因为它模拟了大多数(如果不是全部)编程语义.
基于此的编程范例可以最有效和最实际地解决哪些问题？什么问题不是？
想象一下整个程序的编写,其中80%的逻辑涉及这些操作符.我想知道强迫用户操作的语言是否可以利用他们的结构......
Nor*_*sey 15
本文是一系列相关的理论探索之一.研究领域是函数式程序员所称的泛型编程(这与C++程序员所谓的泛型编程不同).我们的想法是,您以这样的方式编写函数:当您定义新数据类型时,您会自动获得新代码.人们想用这种方式解决的一个经典问题是将数据的图像写入磁盘,然后从磁盘映像中读回同构数据.
如果你想了解这些想法的实际应用,我推荐Ralf Hinze的优秀纸质Generics for the Masses,它展示了如何在普通的旧Haskell中尝试所有这些古怪的想法.例如,我使用这些技术在编译器中实现非常复杂的中间语言的捕获避免替换.
拉尔夫已经撰写了许多关于通用编程的优秀论文,Jeremy Gibbons也是如此.他们的东西并不像香蕉,镜头等那么远......