« [本] いろんな意味で微妙だなと思いながら借りた本 | トップページ | [Ruby] Rails でのアプリケーションロジック »

2006年9月 2日 (土)

[Haskell] head の 型(YAHT)

4.4まで読んだ。

headの型は

head :: [a] -> a

なので、

head . head

の型は、タイプエラーになるかと思ったら、

head . head :: [[a]] -> a

だった。 なるほど。

(head . head) ["abcde"]

の結果は 'a' である。

|

« [本] いろんな意味で微妙だなと思いながら借りた本 | トップページ | [Ruby] Rails でのアプリケーションロジック »

コメント

この記事へのコメントは終了しました。

トラックバック


この記事へのトラックバック一覧です: [Haskell] head の 型(YAHT):

« [本] いろんな意味で微妙だなと思いながら借りた本 | トップページ | [Ruby] Rails でのアプリケーションロジック »