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

型宣言

構文

[変数名] :: [型]

略記法

同じ型の変数を複数定義する。

[変数名1], [変数名2], [変数名3] :: [型]

演算子

演算子は丸括弧で関数に変換する。

num1 :: Integer
str1 :: String
chr1, chr2, chr3 :: Char
xxcrypt :: Integer -> Integer -> Integer -> Integer
(<!>) :: String -> Integer -> Bool

型宣言の意義

型宣言は任意だ。型宣言がなければコンパイラが型を推論してくれる。しかし、使い捨てのコードでなければ型宣言はつける。

「関数の型」へもどる 「型注釈」へ

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