再帰代入系 1

• 再帰代入系 1 : 構文モジュール化の基礎概念

Chimairaでは、完全に構文的な操作として、結合（composition）、集約、再帰化などを定義して、その後で構文に対する意味（モデル）を割り当てる方針です。その土台となるのが再帰代入系という概念です。

先走って言えば、再帰代入系の結合、集約、再帰化は、ソフトウェア的コンポネントの直列結合、並列結合、フィードバックに対応します。