読者です 読者をやめる 読者になる 読者になる

LYH 7.11 型を司るもの、種類

すごいHaskellたのしく学ぼう!

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つしか取らないため)