2020-05-04から1日間の記事一覧

Haskell パターンマッチを学習する

パターンマッチ 引数の値による条件分岐が行える。オシャレ。上から条件に合った式が見つかれば、以降の式は評価されない。 lucky :: Int -> String lucky 7 = "lucky number seven!" lucky x = "out of lucky" ghci> lucky 2 "out of lucky" ghci> lucky 7 …

Haskell 型変数と型クラス

型の確認 ghci> :t 'a' 'a' :: Char ghci> :t 1 1 :: Num p => p ghci> :t "string" "string" :: [Char] ghci> :t True True :: Bool ghci> :t [1,2] [1,2] :: Num a => [a] ghci> :t (1,2) (1,2) :: (Num a, Num b) => (a, b) 関数の型宣言 文字列を受け取…

Haskell タプルの取り扱い

タプル タプルはサイズ固定だが、違った型を収めることができる。 ghci> (1, 3) (1,3) ghci> (1, 'a', "Hello") (1,'a',"Hello") サイズが違ったタプルは違った型として解釈する。 ghci> [(1,3),(4,5,6)] <interactive>:103:8: error: • Couldn't match expected type ‘(a</interactive>…