如何读懂 Fantasy Land 类型签名：从 :: 到 => 的完整语法指南
【免费下载链接】fantasy-landSpecification for interoperability of common algebraic structures in JavaScript项目地址: https://gitcode.com/gh_mirrors/fa/fantasy-land
Fantasy Land 类型签名是理解这份 JavaScript 通用代数结构互操作规范（Algebraic JavaScript Specification）的钥匙。Fantasy Land 用一组 Haskell 风格的符号，为 Functor、Monoid、Monad 等代数结构定义了 22 个标准方法名与类型契约。本指南带你快速吃透::、->、~>、=>四个核心符号，从此流畅阅读规范中的每一条类型签名。
为什么必须先读懂类型签名
Fantasy Land 的核心目标是互操作：只要一个对象实现了fantasy-land/map等约定方法，Sanctuary、Folktale 等任意兼容库都能把它当函子来用。而每个代数结构的契约，都浓缩在一行类型签名里：
fantasy-land/concat :: Semigroup a => a ~> a -> a读不懂这一行，后面的 Setoid、Semigroupoid、Monad 等结构（完整方法清单见 names）都会显得高深莫测。好消息是：整套记号只有4 个符号 + 1 条小规则。
核心符号速查表
| 符号 | 名称 | 一句话含义 | 示例 |
|---|---|---|---|
:: | 成员符号 | "左边的值是右边类型的成员" | true :: Boolean |
-> | 函数箭头 | "输入类型 -> 输出类型" | String -> Number |
~> | 波浪箭头 | 方法类型，隐式包含调用者本身 | a ~> a -> a |
=> | 胖箭头 | 对类型变量施加类型类约束 | Semigroup a => a ~> a -> a |
另有一条贯穿全局的小规则：小写字母（如a、f）是类型变量，代表任意类型，除非被=>约束过。
符号一：::快速判定值属于哪个类型
e :: t读作"表达式e是类型t的成员"（README.md）：
true :: Boolean——true是布尔值42 :: Integer, Number——42同时属于整数和数值两种类型
配合类型构造子可以表达容器类型：Array String表示"字符串数组"，Array (Array String)表示"字符串数组的数组"，嵌套时加括号即可。
符号二：->描述函数的输入与输出
->是中缀类型构造子，左边是输入、右边是输出（README.md）：
String -> Array String：吃一个字符串、返回字符串数组的函数(String, Array String) -> Array String：括号 + 逗号表示接收多个参数() -> Number：空参数列表，表示无参函数
特别注意这种"链式"写法：
String -> Array String -> Array String它不是三参数函数，而是：吃一个 String，返回一个"吃 Array String 再返回 Array String"的新函数——即柯里化（currying）。这是读懂后续所有签名最重要的一个心法。
符号三：~>描述对象上的方法
当函数以"对象属性"的形式存在时（即方法），用~>描述。方法有一个隐式参数——它所在的对象本身（README.md）：
a ~> a -> a：类型a的对象上有一个方法，显式接收一个a，返回a- 对照普通函数：
a -> a -> a需要两个显式参数
以 Semigroup 的 concat 为例（README.md）：
fantasy-land/concat :: Semigroup a => a ~> a -> a实际调用形如s'fantasy-land/concat'：s对应~>左边的隐含目标，b对应右边唯一的显式参数。
符号四：=>为类型变量设置资格门槛
=>用于限制类型变量"必须属于某个类型类"（README.md）：
Semigroup a => a ~> a -> a含义：a不再可以是任意类型，它必须合法实现 Semigroup 类型类要求的全部方法并遵守其定律（例如 concat 的结合律）。
- 无约束：
a ~> a -> a（a可以是任意类型） - 有约束：
Semigroup a => a ~> a -> a（a必须是半群）
约束还可以叠加，例如Applicative f, Traversable t => ...表示f和t各自带一个独立约束。
实战：五步拆解一条真实签名
用规范里 Traversable 的fantasy-land/traverse做完整演练（README.md）：
fantasy-land/traverse :: Applicative f, Traversable t => t a ~> (TypeRep f, a -> f b) -> f (t b) '-------------------' '--------------------------' '-' '-------------------' '-----' ' ' ' ' ' ' ' - 类型约束 ' ' - 参数类型 ' - 返回类型 '- 方法名 ' - 方法目标类型| 片段 | 角色 | 怎么读 |
|---|---|---|
fantasy-land/traverse | 方法名 | 挂在对象上的属性名 |
Applicative f, Traversable t | 类型约束 | f必须是 Applicative，t必须是 Traversable |
t a | 方法目标类型 | 调用者是"t 容器里装着的 a" |
(TypeRep f, a -> f b) | 参数类型 | 两个参数：f 的类型代表 + 一个函数 |
f (t b) | 返回类型 | "f 包裹的 t 容器里的 b" |
整句翻译：一个t a对象，只要f满足 Applicative、t满足 Traversable，就能调用traverse方法，传入 Applicative 的类型代表和一个a -> f b的函数，最终得到f (t b)。
再看一条最简单的——Setoid 的 equals（README.md）：
fantasy-land/equals :: Setoid a => a ~> a -> Boolean即：a实现 Setoid 后，对象可调用equals方法，传入同类的另一个a，返回Boolean。
常见疑问 FAQ
Q1：::和 JavaScript 的instanceof有关系吗？没有关系。它只是文档记号，表示"值属于某类型"，运行时判定逻辑由各库自行实现。
Q2：小写的a、f和大写的Array有什么区别？大写字母开头的是具体类型或类型构造子（如String、Array），小写字母是类型变量（占位符，可代入任意类型）。
Q3：->和=>都叫"箭头"，怎么区分？->描述函数的输入输出；=>描述类型变量的资格门槛。位置也不同：=>永远出现在冒号::之后、签名中段。
Q4：学这套记号需要先学 Haskell 吗？不需要。本指南的 4 个符号 + 类型变量规则已覆盖规范中的全部签名（README.md），配合示例对照阅读即可上手。
延伸阅读：项目内导航地图
| 路径 | 作用 |
|---|---|
| README.md | 规范正文：记号说明、各代数结构的定律与方法签名 |
| names | 全部 22 个方法名清单（equals、map、chain……） |
| index.js、index.d.ts、index.mjs | 官方方法名字符串的 CommonJS / TypeScript / ESM 三种导出 |
| figures/dependencies.dot | 代数结构依赖关系图（Graphviz 源码） |
| implementations.md | 知名 Fantasy Land 兼容库清单（Sanctuary、Fluture 等） |
| CONTRIBUTING.md | 参与规范维护的提交流程 |
掌握::、->、~>、=>之后，按"方法名 → 类型约束 → 目标类型 → 参数类型 → 返回类型"的五步法，你就能独立读懂规范里的任何一条 Fantasy Land 类型签名。🎉
【免费下载链接】fantasy-landSpecification for interoperability of common algebraic structures in JavaScript项目地址: https://gitcode.com/gh_mirrors/fa/fantasy-land
创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
