javascript - fantasy-land/id 是做什么的？

Question

fantasy-land/id :: Category c => () -> c a a

我不太明白这个签名说的是什么？ id 是一种采用零参数并返回类别和其他两个内容的方法。

这样对吗？这有什么意义？

Answer 1

类别由对象和态射(箭头)组成。如果你想在 Haskell 中定义一个类别，你几乎只能将对象作为类型。但是对于任何两个对象，您都可以定义一组态射:hom 集。这里，c 是一个类型构造函数，它接受两个对象(类型)，例如 a 和 b 并生成一个 hom-set c a b 。在最简单的示例中，只需将 c 替换为 (->)。在这种情况下，c a b 变为 a->b(使用中缀表示法)。同理，c a a对应于a->a。这些态射之一被指定为恒等态射。函数 () -> c a a 选择那个态射。完整的定义还必须包括组合运算符 (.)，它采用两个可组合的 hom 集并产生第三个，以及定律。不过，单位律和结合律无法在 Haskell 中表达。