当我有类似的功能
f :: (Ord a) => a -> a -> Bool
f a b = a > b
我想用make函数包装这个函数.
例如,使这样的功能
g :: (Ord a) => a -> a -> Bool
g a b = not $ f a b
我可以像组合一样组合
n f = (\a -> \b -> not $ f a b)
但我不知道怎么做.
*Main> let n f = (\a -> \b -> not $ f a b)
n :: (t -> t1 -> Bool) -> t -> t1 -> Bool …