Dot operatora w Haskell z Wieloparametrowa funkcjonuje

Question

Chcę napisać funkcję punktu darmo w Haskell, aby zachować rzeczy proste, powiedzmy, że chcę, aby tę funkcję:

maxmin :: Ord a => a -> a -> a -> a 
maxmin a b c = max a (min b c) 

mogę poprawić to

maxmin a b = (max a) . (min b) 

ale czy jest jakiś sposób na pozbycie się aib?

Answer 1

Nie powiedziałbym, że jest to prostsze, ale tutaj przejść:

maxmin :: Ord a => a -> a -> a -> a            
maxmin = (. min) . (.) . max 

(Generated z pl narzędzia z lambdabothttp://www.haskell.org/haskellwiki/Pointfree)

lambdabot> pl maxmin a b c = max a (min b c) 
maxmin = (. min) . (.) . max 

Answer 2

Wystarczy użyć "three laws of sections" na to,

(a `op` b) = (a `op`) b = (`op` b) a = op a b 

dzięki czemu

import Control.Arrow 

maxmin a b = (max a) . (min b) 
      = (.) (max a) (min b) 
      = uncurry (.) (max a, min b) 
      = uncurry (.) . (max *** min) $ (a, b) 
      = curry (uncurry (.) . (max *** min)) a b 

który również nie jest zbyt czytelny. :)