A Gentle Introduction to Haskell: Values and Types

やさしい Haskell 入門 (バージョン 98 ) back next top 2 値、型、そのほかの有用な概念 Haskell は純関数型言語ですので、計算はすべて、式 (expression)(構文上の用語)を値(value)(計算の 答とみなす抽象的実体)にすることで行われます。すべての値は型 (type)をもちます。(直観的には型は値の集合と考えることができ ます。) 式の例には整数の 5 や文字の 'a' あるいは関数 \x -> x+1 といったアトミックな値が含まれます。また、 リスト [1,2,3] や組 ('b',4) もあります。 式が値を表しているのと同様に、型の表現式( type expression )は型値(あるいは単に型( type ))を表す構文 上の用語です。型の表現式の例には、Integer (多倍長整数型)、 Char (文字型)、Integer