学习Haskell：查询Haskell与C++特性的近似对应关系

刚接触Haskell时，很多开发者会习惯性用熟悉的C++（甚至Java）概念来类比理解，我整理了一组实用的近似对应关系，帮你快速建立认知关联：

• Data（记录语法） <=> C中的Class/Struct
  Haskell带记录语法的Data类型，和C的类/结构体作用类似，都是用来封装一组相关数据字段，方便组织和管理结构化数据。
• Typeclass <=> Java中的Interface（或C抽象类）
  Typeclass定义的是一组行为契约，就像Java的Interface或者C的抽象类，用来约束类型必须实现的方法，以此实现多态行为。
• Type Constructor <=> C中的模板（Template）
  比如Maybe a这类类型构造器，和C模板逻辑一致——接受类型参数，生成具体的类型实例（比如Maybe Int就类似std::optional<int>这种模板实例）。
• Functor <=> C中的可迭代类（支持范围for的类型）
  Functor的核心是支持对容器内部元素进行映射变换，类比C里能通过范围for循环遍历的可迭代类型，不过Functor更强调“映射操作”的行为约定。
• fmap <=> C++中的std::transform
fmap负责把函数应用到Functor容器的每个元素上，返回包含变换后元素的新容器，和std::transform遍历容器、应用函数并输出结果的作用完全对应。
• lambda <=> C++中的lambda表达式
  两者都是定义匿名函数的语法，支持在代码中快速创建短小的函数逻辑，无需单独命名，适合临时使用的场景。

内容的提问来源于stack exchange，提问作者sandwood