Fantasyland：JavaScript中常见代数结构的互操作性规范

幻想土地规格 （又名“代数JavaScript规范”） 该项目指定了常见代数结构的互操作性： 一般 代数是一组值，一组封闭的运算符以及必须遵守的一些法律。 每个Fantasy Land代数都是单独的规范。 代数可能依赖于其他必须实现的代数。 术语 “值”是任何JavaScript值，包括具有以下定义的结构的任何JavaScript值。 “等效”是给定值的等效定义。 该定义应确保可以在尊重抽象的程序中安全地交换这两个值。 例如： 如果两个列表在所有索引上均等效，则它们是等效的。 当两个旧JavaScript对象对所有键均等效时，它们被解释为字典，它们是等效的。 当两个promise产生相等的值时，它们是相等的。 如果两个函数为等效输入产生等效输出，则它们是等效的。 类型签名符号 本文档中使用的类型签名符号描述如下： :: “是”的成员。 e :: t可以理解为：“表达式e是类型t的成员”。 true :: Boolean -“ true是Boolean类型的成员”。 42 :: Integer, Number “ 42是Integer和Number类型的成员”。