「関数型プログラミング」の版間の差分

関数型初期の[[LISP]]系の[[S式]]は、コンスを実行時に連結するスタイルでデータストラクチャを扱う潜在的型付け（''latent typing''）であり、これは動的型付け（''dynamic typing''）に分類されるものであった。その後のML系を境にして一定の形式を事前に定めた[[静的型付け]]（''static typing''）がどちらかと言うと主流になった。その実装の[[代数的データ型]]は、直積と非交和を表現する型構築子の帰納で形成される静的なデータストラクチャであり、パラメトリック多相で総称化された。''Hindley–Milner''型体系は、このパラメトリック多相に完全対応できる型推論機能を提供して強い静的型付けの実装をサポートした。値をメモリ上のビット列ではなく、構造的な代数式と見なすのが関数型プログラミングの特徴である。前者はただのビット列を識別するためにコンパイラがその識別情報を他に持ち、それを参照する為に予め型名を明示（''manifest''）せねばならないが、後者は値自体が識別情報を兼ねているので常時その推論（''inferred''）で型名を識別できる。この時に用いられる[[型推論]]は、代数的データ型のパターンを等価性を審査できる形まで簡約するような型理論に沿った用法だけでなく、ソースコードの前後の文脈までリサーチして型を導き出せるという実用的な機能である。これによって関数型言語での型注釈と型宣言はもっぱら省略される。

[[多態性]]三種の三番目であるサブタイピングは、データのセマンティクスまたは振る舞いの多相を扱う性質から関数型とは相容れない部分が多い。関数型の[[代数的データ型]]とオブジェクト指向の[[抽象データ型]]は対象的なデータストラクチャと見なされている。前者がデータのみの表現体であるのに対して、後者はセマンティクスを主にしたデータの表現体である。しかしオブジェクト指向との連携が模索される中で数々の手法も提示されている。動的型付けメインのLISP系ではS式の代わりに、各スロットに任意の変数を[[動的束縛|動的バインディング]]できるレコードを用いる。その動的束縛用レコードを1個以上引数にできる関数によって[[多重ディスパッチ]]が表現される。動的束縛用レコードの型チェックは[[ダックタイピング]]で行われる。静的型付けメインのML系ではパラメトリック多相を備えた総称化抽象データ型が用いられる。その型引数＝型変数には抽象データ型が代入される。関数型プログラミングのサブタイピングは総称化本体の継承関係ではなく、型変数の方の継承関係を用いるのが特徴である。総称化本体のジェネリックインスタンスは型変数の方の継承関係で結ばれる。型変数の派生で結ばこれたジェネリックインスタンスは総称してヴァリアントと呼ばれる。ヴァリアントは型変数の継承関係による仮想関数を提供する。この時にアドホック多相に該当する型境界（''type bound''）で型引数＝型変数を修飾させて静的な型チェックをサポートさせる事もある。

var total, i : x = yInteger;