我已經(jīng)看到許多根據(jù)模式定義的功能(f .) . g。例如：countWhere = (length .) . filterduplicate = (concat .) . replicateconcatMap = (concat .) . map這是什么意思？
3 回答
蠱毒傳說(shuō)
TA貢獻(xiàn)1895條經(jīng)驗(yàn) 獲得超3個(gè)贊
這是一個(gè)品味問(wèn)題，但是我發(fā)現(xiàn)這種風(fēng)格令人不愉快。首先，我將描述它的含義，然后，提出一個(gè)我更喜歡的替代方法。
你需要知道，(f . g) x = f (g x)和(f ?) x = f ? x任何運(yùn)營(yíng)商?。由此我們可以推斷出
countWhere p = ((length .) . filter) p
= (length .) (filter p)
= length . filter p
所以
countWhere p xs = length (filter p xs)
我更喜歡使用一個(gè)叫做 .:
(.:) :: (r -> z) -> (a -> b -> r) -> a -> b -> z
(f .: g) x y = f (g x y)
然后countWhere = length .: filter。我個(gè)人覺(jué)得這很清楚。
（.:也Data.Composition可能在其他地方定義。）
catspeake
TA貢獻(xiàn)1111條經(jīng)驗(yàn) 獲得超0個(gè)贊
從來(lái)沒(méi)有提到過(guò)，pointpoint風(fēng)格在任何方面都更具可讀性或更好。我唯一提到“可讀”一詞是與tac示例結(jié)合使用的。我同意，人們可以通過(guò)無(wú)點(diǎn)編程來(lái)擺脫困境。mf用無(wú)點(diǎn)樣式編寫(xiě)的函數(shù)就是這種形式的典范。但是，從數(shù)學(xué)的角度研究無(wú)點(diǎn)編程風(fēng)格還是很有趣的，因?yàn)樗钩绦虻慕Y(jié)構(gòu)在數(shù)學(xué)上更易于處理。它可以使您的代碼更短，但是容量有限。
添加回答
舉報(bào)
0/150
提交
取消