点操作功能

Question

我想写一个功能点，免费在Haskell，让事情变得简单可以说，我想使这个功能：

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？

Answer 1

我不会说这是simplier但在这里你去：

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

（从lambdabothttp://www.haskell.org/haskellwiki/Pointfree生成具有pl工具）

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

Answer 2

你只需要使用"three laws of sections"为，

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

这样

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 

它也不太可读。 :)