LYH 7.11 型を司るもの、種類

7.11 型を司るもの、種類

1. Intの種類を調べたいとき、GHCiではどのように入力すればよいか。
2. 1.に対して、値の型を調べるコマンドは何か。
3. 具体型とは何か。具体型はGHCiではどのような記号で表記されるか。
4. Maybeの種類を答えよ。
5. Maybe Intの種類を答えよ。
6. isUpper関数の型と種類を答えよ。
7. isUpper 'A'の型と種類を答えよ。
8. Eitherの種類を答えよ。
9. 型コンストラクタは関数と同様に(9)されているので、部分適用ができる。Either Stringの種類を答えよ。
10. Functorになれる型の種類を答えよ。

解答

ghci> :k Int
Int :: *

1. :t
2. 型引数を取らない型。*(スター、型)で表される。
3. Maybe :: * -> *
4. Maybe Int :: *
5. 型：Char -> Bool、種類：*
6. 型：Bool、種類：*
7. Either :: * -> * -> *
8. カリー化、種類：Either String :: * -> *
9. * -> *（型引数を1つしか取らないため）