Cia*_*ran 2 haskell composition
我在教程中得到了这个问题,我真的不知道如何去做.
为了确保
filter p . map f = map g . filter h
始终保持,必须如何用p和f定义g和h ？
任何指向正确方向的人都会非常感激.
很明显,f :: a -> b和p :: b -> Bool.既然我们不能对任何其他假设f和g,一个必须定义
h = p . f
g = f
现在h :: a -> Bool和g :: a -> b.