型変数 Haskellの head 関数の型を見てみる。 *Main> :t head head :: [a] -> a この a が型変数と呼ばれる。型変数によって関数を複数の型に対して動作するようにできる。型変数を用いた関数は多相的関数と呼ばれる。 どのような型でも良いという性質のこと…

明示的な型宣言 Haskellの型宣言は2行で書く模様。こういう書き方は初めて。 removeNonUppercase :: [Char] -> [Char] removeNonUppercase st = [c | c <- st, c `elem` ['A' .. 'Z']] *Main> removeNonUppercase("HelloWorld") "HW" addThree :: Int -> Int…

関数型プログラミングをちゃんとやろうと思って「すごいHaskellたのしく学ぼう！」を買って読み始めた。その勉強メモ。自分のメイン言語はScalaなので、気になったところを比較しながら見ていく。 内包表記 Haskellのリスト内包表記。集合の内包的記法の概念…