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

型注釈

型注釈とは

型の明示が必要なことがある。式 :: 型で値の型を指定できる。

数の例

多相型や型クラスを学んでから説明するが数値リテラルは型が不定だ。必要に応じて型注釈で型を決める。

% ghci
Prelude> 8 :: Integer
8
Prelude> :t it
it :: Integer
Prelude> 8 :: Double
8.0
Prelude> :t it
it :: Double

「型宣言」へもどる 「型駆動開発」へ

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