空のリストの発行のためのヘッド機能

Question

私は地図の中で '頭の'機能を使いたいです。 問題は、 'head'関数は空でないリストだけを受け入れることです。私は私が一度リストのリストを反復または「IF条件」を置くことができるかどうか思ったんだけど二回

let listOne = filter(\x -> if length x > 0) ll 
map(\x -> head x) listOne 

をリストのリストを反復処理する必要が

let ll =[["dog", "cat"], ["pig", "cow"], []] 

： 私はリストのリストを持っています「フィルタ」

無しマップ内部の提案が理解されるであろう。

Answer 1

はい、実際にあなたがリストの内包文としてそれを書き、その代わりマッチングパターン使用することができます。私たちはだからここ

heads :: [[a]] -> [a] 
heads ll = [ h | (h:_) <- ll ] 

：

result = [ h | (h:_) <- ll ] 

や機能などを空でないすべてのリストと一致するパターン(h:_)を使用し、直接そのリストのhというヘッドを取得し、それをリストに追加します。リスト内包（左矢印<-の左側にパターンを使用すると、パターンに一致しない要素はスキップされます）。

あなたは無限リストで作業している場合lengthが無限ループにはまりますので、これは、またlengthを使用するよりも安全なよりです。さらに、非合計要素数がhead以上のパターンを使用すると、構文がであることが保証されます（空でない要素がフィルタリングされると、headはエラーにならないことはもちろんですがhead関数についての情報があるので、これだけを知ることができます）。

ifを使用しているため、thenとelseの部分を使用しないと、構文エラーが発生することに注意してください。また

、我々は、@DanielWagnerが言うように、使用して、インスタンスのために、異なったheads関数を書くことができます。

heads :: [[a]] -> [a] 
heads ll = concatMap (take 1) ll 

かによってをリストモナドのバインド使用：

heads :: [[a]] -> [a] 
heads = (take 1 =<<) 

かを2dリストを転置することができます。その場合、最初の行にはリストのすべての頭が含まれます。ただし、そのような行があることは保証されていないため、末尾に空のリストを追加することができます。

heads :: [[a]] -> [a] 
heads = head . (++ [[]]) . transpose