境界関数を使用してリストをクラスタリングする

Question

リストを与えられたら、私は "境界関数"を使ってクラスターに分割したいと思います。そのような機能は、リストの2つの連続した要素をとり、それらが同じクラスタに属するべきかどうかを決定する。

だから、基本的に、私はこのような何かしたい：それはHoogleで、この型宣言がもたらした

clusterBy :: (a -> a -> Bool) -> [a] -> [[a]] 

ghci> farAway x y = abs (x - y) > 10 
ghci> clusterBy farAway [1, 4, 18, 23, 1, 17, 21, 12, 30, 39, 48] 
[[1, 4], [18, 23], [1], [17, 21, 12], [30, 39, 48]] 

を見上げるだけgroupBy私はそれを考慮要素の順序を取ることはありません（必要正確に何されていません）。

似たようなライブラリ関数はありますか？または、代わりに、きれいに、つまりテール再帰ループに頼らずに実装する方法はありますか？

EDIT：参考のために、私は調理するために管理の実装は次のとおりです。

clusterBy :: (a -> a -> Bool) -> [a] -> [[a]] 
clusterBy isBoundary list = 
loop list [] [] 
    where 
     loop (first:rest) [] result = loop rest [first] result 
     loop list@(next:rest) cluster result = 
      if isBoundary (head cluster) next then 
       loop list [] ((reverse cluster):result) 
      else 
       loop rest (next:cluster) result 
     loop [] cluster@(_:_) result = cluster:result 
     loop _ _ result = result 

Answer 1

は何をしたい、このですか？

clusterBy :: (a -> a -> Bool) -> [a] -> [[a]] 
clusterBy isDifferentCluster = foldr f [] 
    where f x (ys @ (y : _) : yss) | not (isDifferentCluster x y) = (x : ys) : yss 
     f x     yss         = [x]  : yss 

関数の引数の意味は、おそらく逆にする必要があります

（その引数は、同じクラスタとそうでない場合はfalseにする必要があるとき、すなわちtrueを返す）が、私はあなたが尋ねた形でそれを与えてくれました。