“直到”如何運作？

Question

我想用until回答這個問題 。 但這不起作用，我得出結論， until我才明白。

所以我采用OP給出的功能，逐字：

removeAdjDups :: (Eq a) => [a] -> [a]
removeAdjDups []           =  []
removeAdjDups [x]          =  [x]
removeAdjDups (x : y : ys)
  | x == y = removeAdjDups ys
  | otherwise = x : removeAdjDups (y : ys)

然后我寫一個True/False函數重新調整是否有重復：

hasAdjDups :: (Eq a) => [a] -> Bool
hasAdjDups []           =  False
hasAdjDups [x]          =  False
hasAdjDups (x : y : ys)
  | x == y = True
  | otherwise = hasAdjDups (y : ys)

最后我使用until如下：

f :: (Eq a) => [a] -> [a]
f x = until hasAdjDups removeAdjDups x

這不起作用：

> hasAdjDups  "aabccddcceef"
True
> removeAdjDups   "aabccddcceef"
"bf"
> f "aabccddcceef"
"aabccddcceef"

我誤會until ，或者我做了一個錯誤？

Answer 1

until :: (a -> Bool) -> (a -> a) -> a -> a記錄為：

until pf產生應用f的結果直到p成立 。

它實現如下：

 until pf = go where go x | px = x | otherwise = go (fx) 

所以你提供了一個謂詞p和一個函數f 。 該函數還給出了初始值x 。 通過使用遞歸，它首先檢查px成立。 如果是，它返回x ，否則，它使用fx作為新x進行遞歸調用。

因此，更干凈（但效率更低）的實現可能是：

until p f x | p x = x
            | otherwise = until p f (f x)

如果我們分析您的功能，我們會看到：

f x = until hasAdjDups removeAdjDups x

因此，這意味着f將terminale從它相鄰的重復字符的瞬間去除相鄰重復字符。 你可能想要相反的謂詞：

f x = until (not . hasAdjDups) removeAdjDups x

甚至更短：

f = until (not . hasAdjDups) removeAdjDups

Answer 2

你可能忘了not ：

f :: (Eq a) => [a] -> [a]
f x = until (not . hasAdjDups) removeAdjDups x

f "aabccddcceef" -- "bf"

Answer 3

好吧， until重復應用轉換到值， 直到謂詞匹配。 在您的情況下，輸入已經具有hasAdjDups ，因此從不調用removeAdjDups 。 你可能會尋找while ：

while = until . (not .)