The Haskell 98 Report: 宣言

構文範疇 topdecls の宣言は Haskell のモジュール (5 章)のトップレベルでのみ許されている。 一方、decls はトップレベルでも、入れ子になったスコープ(たとえば、 let や where の構成の中)でも使用が許されている。 説明のために、宣言を次の 3 つのグループにわける: type、newtype および data 宣言から構成 される、ユーザ定義の型( 4.2 節)。 class、instance および default 宣言から 構成される、型クラスおよび多重定義( 4.3 節)。 値の束縛、型シグネチャおよび結合性宣言( 4.4 節)から構成される入れ子になっ た宣言。 Haskell には (整数や浮動小数のようにな)「処理系に直接組み込まれた」 プリミティブ型があるが、ほとんどの「組込み」データ型はtype宣 言やdata宣言を用いた標準のHaske

[minamiyama1994]

“単相性制限” #すごい広島