小编ram*_*try的帖子

通过对Haskell中二进制函数的两个参数进行某些转换来"提升"哪个是最惯用的方法？让这个运算符命名为"lift",所以我希望它的类型是

lift :: (a -> b) -> (b -> b -> c) -> (a -> a -> c)

一个天真的定义将是

lift t f = \x y -> f (t x) (t y)