haskellでtails関数を実装する

Question

私はhaskellを学び、関数tailsを実装しようとしています。これは私の実装です：

tails' :: [a] -> [[a]] 
tails' [] = [] 
tails' (x:xs) = xs:[[tails' xs]] 

しかし、私は

Couldn't match expected type ‘a’ with actual type ‘[[a]]’ 
     ‘a’ is a rigid type variable bound by 
      the type signature for tails' :: [a] -> [[a]] at.. 

私の実装の何が問題になっているコンパイルエラーに実行し続けますか？

Answer 1

で

tails' (x:xs) = xs:[[tails' xs]] 

を交換してください：

tails' (x:xs) = xs : tails' xs 

Answer 2

別に構文型エラーから、あなたの実装が（スペック）は正しくありません。これと比較してください...

Prelude> let tails [] = [[]] 
Prelude|  tails y@(x:xs) = y:(tails xs) 
Prelude| 
Prelude> tails "abc" 
["abc","bc","c",""]