Tag: 同构

同构函数的重要性

简短的问题：同构函数在编程（即函数式编程）中的重要性是什么？ 长的问题：我试图从function编程和类别理论的概念之间，根据我不时听到的一些术语来做一些类比。 本质上，我试图把这个术语“解包”成具体的东西，然后我可以扩展。 那么我就可以用这个术语来理解我刚才在说什么了。 这总是很好。 我一直听到的这些术语之一是同构（Isomorphism） ，我认为这是关于function或function组合之间的等价性的推理。 我想知道是否有人能够提供一些常见模式的见解，其中同构的特性派上用场（函数式编程），以及所获得的任何副产品，例如来自同构函数推理的编译器优化。