haskell - Functor 类型类背后的历史是什么？

Question

我正在努力深入了解 Monad类的层次结构。当然，其中一部分是看到很多例子，但我对这些类是如何首次发现的历史及其动机特别感兴趣。

我了解 Monad s 最初是作为 Haskell 中 IO 问题的解决方案出现的，并且熟悉 Moggi 和 Wadler 在 1989-92 年介绍它们的论文。

我也看到了Applicatives在 Conor McBride 和 Ross Paterson 的“Applicative Programming with Effects”中进行了介绍。

我的问题是什么流行了Functor s，它们是什么时候出现的？我认为它必须在 Monad 之后自从 Functor不是父类(super class)，但自从 LISP 早期以来，人们就没有使用过广义映射函数吗？

Answer 1

Functor在 Haskell 报告的 1.3 版本中，它标准化了 monadic IO 和更高种类的类型类。所以，Functor typeclass 与 monad typeclass 一样古老。而且，更重要的是，Functor是 Jones 介绍“构造器类”的论文中的第一个激励示例!你可能会说琼斯论文普及了这个想法，但正如你指出的那样，人们长期以来一直想要广义 map 。