Clean Version 2.1 言語報告 【第８章】

目次へ    最終更新 : 2004/4/30 第８章　ダイナミック 8.1　式をダイナミックに包む 8.2　ダイナミック...概要を表示 目次へ    最終更新 : 2004/4/30 第８章　ダイナミック 8.1　式をダイナミックに包む 8.2　ダイナミックパターン照合を使用してダイナミックを開包する 8.3　ダイナミックを使用した型安全な通信 8.4　実装のアーキテクチャ 8.5　ダイナミックに関する意味上の制限 ダイナミック(Dynamic)は、CLEANの新しい実験的な特徴である。この概念を理解するのは容易だが、その実装はそう簡単ではない（VervoortとPlasmeijer,2002参照）。従って、全部を実装し、システムが完全に動作するには幾分時間がかかるだろう。待っていて欲しい。 "ダイナミック"で何ができるのだろうか？容易で型安全な方法で、（異なった）CLEANアプリケーション間の式を保存し、交換することができる。式は、（未評価！）データと（未評価！）関数適用を持つことができる。ここのその使用例を