関数型プログラミング機能 - 関数型プログラミング多型
そして、計算コンテキスト特別な値算出処理を節約
計算構造の計算コンテキスト計算処理の入力と出力を保存します。
計算プロセスを計算して配置することができるコンテキストを保存し;（カリー化）。
特殊関数値及び構成は、高階関数、変換、およびカリー化その他の操作の組合せによってそれ行うことができるように。
入力と出力の関数として：本質的に構成可能であり、計算構造。
これは、コンテキスト計算の入力パラメータとして構成することができます。
これは、完全に構成された直接計算のコンテキストを計算した後に計算されます。
正常な機能;
パラメトリック関数（クロージャ機能）。
高次機能。
機能（内部関数）を返します。
関数の値：関数が参照され、他の関数が呼び出されます。
コンテキスト機能：の関数コンテキスト値（パラメータ）を提供する機能。
機能：構造体の値が初期化され、評価される必要があります。
関数の変数：二次初期化された変数の必要性を評価することができます
1、構造評価の初期化、結合機能、
図2に示すように、評価コンテキストの初期化;結合可変パラメータ。
解析関数の戻り値の関数として、
図1に示すように、変数定義関数、関数は、基準値を返します。
2、コンテキスト初期化変数の関数は、評価を行います。
コンテキストパラメータ：
内部機能の参照他の機能は、部分的に、パラメータの初期化によって、
コンパイラは、すべての基本的な機能はします：それは内部か外部かストレージをコンパイルします。
関数型プログラミング変数は同じシグネチャ、異なる実装のかけがえのない機能です。
基本機能：すべての関数型プログラミング不変の機能。
組み合わせ機能：不変の機能により接着機能。
関数呼び出しのエントリの組み合わせは、まだ基底関数です。
関数型プログラミング多型：
同じ基本的な機能と異なる組み合わせの他の機能、動作の異なる形式を持っています。