我是一名数学博士生，辅修CS，目前正在上Haskell的课。我们刚刚学习了 liftM.
这些概念似乎是相似的，但我一直无法弄清楚到底如何 liftM 可想而知 挢 类别理论意义上的（我对类别理论知之甚少，是在拓扑课上接触到升降机的）。
鉴于缺乏活动--也没有明显的联系--我认为可以说是 liftM 并不是因为它与拓扑学和范畴理论的提升有联系而被命名的，相反，我认为 "提升 "一词已经泛指从一个推理领域到另一个推理领域的任何转换。
相反，我认为 "提升 "一词已经泛指从一个推理领域到另一个推理领域的任何转换，正是这种意义上的 "提升 "才是命名的历史原因。liftM. 具体来说 liftM 转换一个纯函数，"提升 "它到一个特定单体的领域。