は、私は、この関数を作りたいと言うことができます: maxmin :: Ord a => a -> a -> a -> a
maxmin a b c = max a (min b c)
私はにこれを改善することができます maxmin a b = (max a) . (min b)
しかし、aとbを取り除く方法はありますか?
this questionでは、著者はHaskellでモルガンの法則の実装を書いています。私はnotAandnotBの実装を理解し、notAornotBが、私はあるnotAorBの実装を理解するのに苦労しています: notAorB :: (Either a b -> c) -> (a -> c, b -> c)
notAorB f = (f . Left, f . Right)
誰かが(f