3
同构函数的重要性
简短的问题：同构函数在编程中（即在函数编程中）的重要性是什么？ 漫长的问题：我试图根据我不时听到的一些术语在功能编程和类别理论中的概念之间画出一些相似的地方。本质上，我试图将这些术语“解包”为具体内容，然后再进行扩展。这样，我就可以在了解我所谈论的到底是什么的情况下使用该术语。总是很好。 我一直听到的其中一个术语是同构，我认为这是关于功能或功能组成之间的对等的推理。我想知道是否有人可以提供一些常见的模式的见解，在这些模式中，同构的特性派上用场（在函数式编程中），以及获得的任何副产品，例如通过对同构函数进行推理而进行的编译器优化。