haskell - `liftM` 的名字是不是受到了数学中的电梯的启发？

Question

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。












这个问题似乎与 help center 中定义的范围内的编程无关。 .


2年前关闭。







Improve this question




我是一名数学博士生，辅修 CS，目前在 Haskell 上课。我们刚刚了解到 liftM .

这些概念看起来很相似，但我无法确切地弄清楚 liftM可以被认为是范畴理论意义上的提升(我对范畴理论知之甚少，并且在拓扑类(class)中被介绍过提升)。

Answer 1

鉴于缺乏事件——以及缺乏明显的联系——我认为可以肯定地说liftM之所以没有命名，是因为它与拓扑和范畴论电梯有关。

相反，我认为“提升”一词通常意味着从一个推理领域到另一个推理领域的任何转变，正是这种“提升”意义是名称 liftM 的历史原因。 .具体:liftM转换一个纯函数，将其“提升”到特定单子(monad)的域中。