top page > computer > haskell > web_lecture > for_programmer > whats_type.html
更新日:
文責: 重城良国

型とは何か

[型の図]

型とは「何ができるか」だ

型は

を示す。値で何ができるかということだ。

Char型の値は小文字になる

文字を表す値はChar型だ。Char型の値は関数toLowerで小文字にできる。

% ghci
Prelude> :m Data.Char
Prelude Data.Char> :t 'L'
'L' :: Char

toLowerはData.Charモジュールが公開している。対話環境でのモジュールの読み込みは:moduleまたは:mだ。値の型は:typeまたは:tコマンドで表示する。

Prelude Data.Char> toLower 'L'
'l'

Char型の値は関数toLowerで小文字になる。

Bool型の値は小文字にならない

FalseやTrueという値はBool型だ。Char型ではない。小文字にはならない。

Prelude Data.Char> :t False
False :: Bool
Prelude Data.Char> toLower False

<interactive>:X:Y:
Couldn't match expected type `Char' with actual type `Bool'
In the first argument of `toLower', namely `False'
In the expression: toLower False
In an equation for `it': it = toLower False

「型が一致してないよ」と怒られる。

課題

  1. 対話環境で以下の値の型を調べよ

「ガード」へもどる 「関数の型」へ

正当なCSSです! HTML5 Powered with CSS3 / styling, and Semantics