Rust闭包和Haskell lambda有什么区别？

Question

最近我asked关于如何将一堆具有相同签名的闭包放入Rust中的向量中。来自Haskell的背景，看起来有点复杂，Rust的每个闭包都有自己独特的类型，需要一个特征来代表它们。在Haskell中，lambda是通过其签名键入的，如果签名相同，则类型相同。

Rust闭包和Haskell lambda函数之间是否存在语义差异导致这些差异？

Answer 1

Rust选择使用不同类型有两个性能优势：

• 编译器可以堆叠分配您关闭的数据（或将其嵌入到包含的数据结构中）
• 因为它知道闭包在编译时引用了哪个函数，所以它可以静态地调度调用甚至内联调用。

您也可以选择使用Box<Fn>。这会花费堆分配并导致间接调用，但作为交换，每个签名只有一种类型。