问“香蕉、镜头、信封和铁丝网”的实际应用？

EN

本文是一系列相关理论探索中的一篇。研究领域是函数式编程人员所称的泛型编程(令人困惑的是，它与C++程序员所称的泛型编程不同)。这个想法是这样写你的函数，当你定义一个新的数据类型时，你会自动得到新的代码与之相伴的。人们想要以这种方式解决的一个典型问题是将数据的映像写入磁盘，然后从磁盘映像中读回同构数据。

如果你想体验这些想法的实际应用，我推荐Ralf Hinze的优秀论文Generics for the Masses，它展示了如何在普通的Haskell中尝试所有这些古怪的想法。例如，我已经使用这些技术在编译器中实现了非常复杂的中间语言的避免捕获替换。

Ralf和Jeremy Gibbons写了许多关于泛型编程的优秀论文。他们的东西不像香蕉，镜头，等等那么远……

这意味着可以在一种范式中建模的解决方案也可以在另一种范式中建模，并且可以通过编程将其中一种转换为另一种。

现在，某些问题在一种范式中比在另一种范式中更容易解决。此外，在一种范式中证明属性比在另一种范式中更容易。因此，如果你能证明这种等价性，你就打开了以更容易的方式解决某些问题的大门，然后将解决方案转换为所需的范例。

这类似于monads thingy。monads的大问题不在于如何编写monads。它们的重要之处在于，有大量关于monad的定理，一旦您将问题简化为monad，这些定理就可以应用。同样的原则也适用于此。