プログラミング用語

高階関数(関数を変数に取る関数)

チューリングの仮想機械は、
無限に長いテープ
その中に格納された情報を読み書きするヘッド
機械の内部状態を記憶するメモリ
で構成され、内部状態とヘッドから読み出した情報の組み合わせに応じて、次の動作を実行する。
ヘッド位置のテープに情報を書き込む
機械の内部状態を変える
ヘッドを右か左に一つ移動する
上の動作を、機械は内部状態が停止状態になるまで反復して実行し続ける。

カリー化

引数を幾つか固定すると、残った引数の関数が得られる
標準C++ライブラリの std::bind1st も一種のカリー化

糖衣構文(syntax suger)

遅延評価

型推論

変数や関数の型を宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構

文脈自由文法
解析表現文法