我是一名数学博士生，辅修 CS，目前正在 Haskell 上课。我们刚刚了解了liftM.
liftM
这些概念看起来很相似，但我一直无法确切地弄清楚如何liftM将其视为类别理论意义上的提升（我对类别理论知之甚少，并在拓扑课程中介绍了提升）。
haskell functional-programming terminology category-theory
category-theory ×1
functional-programming ×1
haskell ×1
terminology ×1