私はそのように宣言ネストされたリストの種類持って

Question

ネストされたリストの頭と尾を取得します。私はNestedListの頭と尾を取得しようとしていますが、私はそれができるかどうかはわかりません

data NestedList a 
= Int a 
| List [NestedList a] 
deriving (Show, Eq) 

を達成された。私の試みは、NestedListの最初のIntを取得するので、本当に成功しませんでした。私のコードは：

headList :: NestedList a -> NestedList a 
headList (Int x) = Int x 
headList (List x) = head $ map headList x 

私はすべてのリストを繰り返し、それぞれからIntを取得するため、これが機能しない理由を理解しています。だから、例えば：

test = List [List [Int 5]] -> headList test = Int 5, instead of List [Int 5] 

私は尾のための解決策は、（リストの代わりに、要素の一部を除いて）同様であろうと思いますので、誰も私には、少なくとも作業headListを得るのを助けることができますか？ a秒の

Answer 1

NestedListIntでマークaの原子、（の代わりにAを使用してみましょう）またはa S（のは、そのためのNを使用してみましょう）のネストされたリストです：何、そう

data NestedList a = A a | N [NestedList a] 
     deriving (Show, Eq) 

空リスト？ - それはN[ ]です。頭や尾はありません。

シングルトンリストとは何ですか？ - A xまたはN[A x]の場合、その頭はちょうどxです。

シングルトンリストの末尾は何ですか？ - それは空リストです。

長いリストの末尾は何ですかN(h:t)？ - hがA _の場合はN tです。

ネストされた構造が多い他のケースは、より複雑です。その場合はheadが一番左の原子を返すようにし、tailを入れて、一番左の要素を持たない同様にネストされた構造を構築しますか？これは再帰的に行うことができます：

headNested (A x) = x 
headNested (N xs) = headNested (head xs) 

右でしょうか？コメントではuser Bergiが指摘しているように単純ではありません。ネストされた空のリストの場合はどうでしょうかN[ N[ ], N[ ]]？あまりにも空であると考えられるのでしょうか？ （おそらくそうだ）。だからこれはもっと関与しなければならないでしょう。おそらく、いくつかの種類の標準構造を決定し、最初に使用されるnormalizeルーチンを実装したいと思うでしょう。

いっそあるとして、構造を維持し、代わりに、頭と尾のMaybeペアを返すに切り替え、the other advice in the commentsに従い、再帰的にことを使用しています。