随着 Rust 越来越充实，我对它的兴趣开始激起。 我喜欢它支持代数数据类型，特别是那些匹配的事实， 但是对其他功能性习语有什么想法吗？
例如标准库中是否有标准过滤器/映射/归约函数的集合，更重要的是，您能否以合乎语法的方式链接/组合它们[1]？
既然已经有一些优雅的方式可以使用 ADT，那么 monad 怎么样，尤其是一些语法糖呢？
[1] Haskell 有 (.) 和 (>>>)，C# 扩展方法和可选的 LINQ，D 有统一的函数调用语法。
【问题讨论】：
标签： functional-programming rust
Rust 没有 HKT，但它的迭代器确实支持以具有更高阶函数 (HOF) 的函数式编码，例如 map、filter、fold 等，具有方便的链接。
与函数式语言相比，细节有所不同 - 它们通常是垃圾回收，而 Rust 程序以类似于 C++ RAII 的确定性方式处理内存管理 - 作为程序流程的一部分。
为了实现高效的链接，各个 HOF 会返回可组合的惰性表达式模板，您可以通过使用 .to_owned_vec() 或 .collect() 或其他方式将最终结果转换为数据（一步完成分配和评估）。
在某些情况下，这不是必需的，返回的表达式模板本身就是一个迭代器，这可能就足够了。例如，您可以使用 for 循环对其进行迭代，或者将其作为参数传递给通用函数。
见：
类似的模式在 C++11（带有附加库）和 Rust 中都是可能的。 Rust 的泛型不如 C++ 模板那么强大，但默认情况下的不变性、面向表达式的语法、多态 lambda 和双向类型推断让它感觉更接近于函数式语言。
关于“扩展方法”和统一调用语法，Rust 允许以类似的“开放世界”方式组织代码。您可以将具有更多方法的impls 添加到库或程序中的任何类型，或者通过在它们上实现您自己的特征的方法来扩展来自其他库的现有类型。
这使得使用可链接方法调用样式比在 C++ 中更容易（即更少需要修改或派生类型）。
请记住，Haskell 的许多习语都与纯度有关（例如 IO monad、lens..），而 Rust 是多范式，而不是纯函数式。您可以拥有一个纯函数以在程序级别获得引用透明性的好处，但它的实现通过可变局部变量得到了简化。
【讨论】：
一种语言必须具有“更高种类的类型”才能支持 Functors、Applicatives 和 Monads 等概念。换句话说，语言必须能够抽象出 * -> * 的类型，或者从一个类型到另一个类型的函数。 Rust 当前不支持这种抽象级别。 discussed 一直是未来可能的方向，但我不希望它很快成为焦点。
【讨论】：