• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Programming-in-Haskell-2nd-edition_memo_3 へ行く。
  • 1 (2019-08-24 (土) 17:34:18)
  • 2 (2019-08-24 (土) 18:56:35)
  • 3 (2019-08-24 (土) 21:54:00)

プログラミング Haskell 第 2 版

第3章 型と型クラス †

p.23

型は、互いに関連する値の集合です。
たとえば、Bool型にはFalseとTrueという二つの真理値が含まれます。
また、「Bool -> Bool」という型には、Bool型をBool型へ変換する否定演算子 notのような関数がすべて含まれます。
vが型 Tの値であるという意味で、「v :: T」という表記を使います。
この形式を型注釈と呼びます。
「v :: T」は、「vの型は Tである」と読みます。

以下に例を示します。

1 2 3

False :: Bool True :: Bool not :: Bool -> Boo