この関数を暗黙にする

Question

この関数を簡潔にするためにポイントフリーにしたいと考えています。私は他の関数にも必要なので、計算するのではなく明示的に長さを渡しています。私はそれを一度計算したいと思います。私は、目標の文字列パラメータを取り除くために管理してきましたが、他の2つと闘っています。

-- Cycle with respect to whitespace (currently only spaces). 
-- Given a source string and its length, and a longer target string 
-- (which may contain spaces) match the source to target such that: 
-- 1. both will have the same length 
-- 2. spaces in the target string will remain spaces 
-- 3. chars from the source string will be cycled 
-- 
-- Example: 
-- src: "ALLY", len: 4 
-- target: "MEET AT DAWN" 
-- Result: "ALLY AL LYAL"     
cycleWS :: String -> Int -> String -> String 
cycleWS str len = fst . (foldr (\x (s, n) -> if x == ' ' then (s ++ " ", n) else (s ++ [str !! (n `mod` len)], n + 1)) ("", 0)) 

Answer 1

私は真剣に、この特定の機能は、ポイントフリースタイルでそれを書くことによって、より簡単にすることができるということを疑います。例えば、ここで私はpointfree.ioから得たものです：

cycleWS = ((fst .) .) . flip flip (([]), 0) . (foldr .) . flip flip snd . ((flip . (ap .)) .) . flip flip fst . ((flip . ((.) .) . flip (ap . (ap .) . (. ((,) . (++ " "))) . (.) . if' . (' ' ==))) .) . flip flip (1 +) . ((flip . (liftM2 (,) .) . flip ((.) . (++))) .) . flip flip ([]) . ((flip . ((:) .)) .) . (. flip mod) . (.) . (!!) 

Answer 2

@Reidバートンの提案に続き：

-- Cycle with respect to whitespace (currently only spaces). 
-- Given a source string and its length, and a longer target string 
-- (which may contain spaces) match the source to target such that: 
-- 1. both will have the same length 
-- 2. spaces in the target string will remain spaces 
-- 3. chars from the source string will be cycled 
-- 
-- Example: 
-- src: "ALLY", len: 4 
-- target: "MEET AT DAWN" 
-- Result: "ALLY AL LYAL"     
cycleWS :: String -> String -> String 
cycleWS = align . cycle 

-- Align with respect to spaces. 
-- Given two strings, source and target, align the source to target such that: 
-- 1. both will have the same length 
-- 2. spaces in the target string will remain spaces 
-- Assume the source string is long enough 
align :: String -> String -> String 
align [] _ = [] 
align _ [] = [] 
align (x:xs) (y:ys) = if isSpace y then y : align (x:xs) ys else x : align xs ys