Haskell PointFree

Question

如何轉換我的功能測試'取l（元素列表），n（步驟）並返回步驟元素選定的列表到PointFree函數？

test' n l = test'' n l 0 
test'' n [] c = [] 
test'' n (x:xs) 0 = x:(test'' n xs 1) 
test'' n (x:xs) c 
    |n==c =x:(test'' n xs 1) 
    |otherwise =test'' n xs (c+1) 

方法2

test' m = map snd . filter (\(x,y) -> (mod x m) == 0) . zip [0..] 

test' 2 [1,2,3,4,5]結果[1,3,5] test' 2 "ASDFG結果 「ADG」 PS 不能使用任何進口

Answer 1

這裏有一個免費的點對點版

import Control.Category (>>>) 
import Data.Maybe (catMaybes) 

skips = 
    pred >>>      -- \n -> n-1 
    (`replicate` const Nothing) >>> -- \n -> [ const Nothing, ..., const Nothing ] -- length n -1 
    (Just:) >>>      -- \n -> [ Just, const Nothing, ... const Nothing ] -- length n 
    cycle >>>      -- \n -> [ Just, const Nothing, ... const Nothing, Just, const Nothing, ... ] -- infinite length 
    zipWith ($) >>>     -- \n [ a0, a1, .., aN, aNPlus1, ... ] -> [ Just a0, Nothing, ..., Just aN, Nothing, ... ] 
    (catMaybes .)     -- \n [ a0, a1, .., aN, aNPlus1, ... ] -> [a0, aN, a2N, ...] 

正如其他人所說，這樣的事情將是更容易理解 與貼題的定義。

我使用>>>（又名flip (.)）的唯一原因是您可以更輕鬆地按照文檔進行操作。一個等價的定義是：

skips = (catMaybes .) . zipWith ($) . cycle . (Just:) . (`replicate` const Nothing) . pred 

兩個自由點名堂這是很好的凸顯：

• (`replicate` const Nothing)相當於(flip replicate (const Nothing))或(\n -> replicate n (const Nothing))
• (catMaybes .) . f相當於\n -> catMaybes . f n或\n xs -> catMaybes (f n xs)

如果您不能導入catMaybes，您可以通過其自由點清晰度concatMap (maybe [] return) E放置它，使無進口定義：

skips = (concatMap (maybe [] return) .) . zipWith ($) . cycle . (Just:) . (`replicate` const Nothing) . pred 

可以簡化爲

skips = (concat.) . zipWith ($) . cycle . (return:) . (`replicate` const []) . pred 

Answer 2

可以生成指數列表，然後在該列表上映射(l !!)。

mySlice l n = map (l !!) l [0,n..length l - 1] 

這比任何免費版本都要容易得多。 （作爲一個例子，上面是通過http://pointfree.io處理以

liftM2 (.) (map =<< (!!)) (flip (enumFromThenTo 0) . subtract 1 . length)) 

---

更新：

正如所指出的@rampion，使用!!具有規則列表將導致性能不佳，因爲它是不是O（1）操作。相反，試試這個列表理解其拉鍊與潛力指數列表清單。

mySlice l n = [ x | (x,i) <- zip l (cycle [0..n-1]), i == 0]