自從１９７８年，John W. Backus提出功能程式規劃（ＦＰ）系統的觀念之後，功能
程式規劃的模式愈加受到重視。若干年後，John V. Guttag繼而於１９８２年，將抽
象化資料型態的觀念，進一步導入ＦＰ系統中，而提出其所謂的型態化ＦＰ系統。依
據他們所提出的溉念，本論文中，設計並實作了一型態化ＦＰ系統。
在設計過程中，採取了一些與原有的型態化ＦＰ系統，稍有不同的改變和一些增加的
特性。例如，允許抽象之資料型態可以有多樣化的表現方式，並且利用與原來不同的
方式來描述抽象資料型態在程式規劃中所應保有的不變性。重要的是，系統中提供了
型態措述子（Jype Descriptor ）以便程式規劃中對資料結構關係的描述，並且論文
中也發展了一些對型態描述子相當有用的代數性質。如此一來，在型態化之ＦＰ系統
，要去推導程式和資料型態，僅僅需要單一的代數領域，即便足夠了。
從軟體發展的角度觀之，型態化之ＦＰ系統利用型態描述子和資料型態層次化的利器
增強了原來ＦＰ系統對問題解析和抽象的能力，同時，促使使用者將相關的程式聚集
一處，並且促使他們仔細地思考程式之間的關聯性。
＃１０１７８８５Ｐ
|