Functional programming 什么'；《伊莎贝尔》中地图和地图的区别是什么？

于是我上网找到了这些：

（地图）

（地图）

以“地图”一词开头的两种理论。我把它们通读了好一阵子，我真的看不出它们之间有什么显著的区别。有没有时间我应该使用前者而不是后者，反之亦然

---

提前谢谢

Map.thy

为您提供了一些词汇来讨论部分函数，编写为

'a⇀ 'b

，是

'a的缩写⇒ 'b选项

另一方面，

映射

理论将其包装成一种新型的部分函数，这对代码生成非常有用。如果您试图导出涉及

'a类型的部分函数的代码⇀ 'b

，你会得到字面上的

'a⇒ 'b选项

在导出的代码中，这意味着，例如，请求此类函数的域之类的事情将无法执行

另一方面，使用

映射

，您可以导出到更合理的（有限）映射实现，例如关联列表或红黑树

所以，简短的回答是：不要担心

映射问题

，除非您想导出可执行代码