Haskell語言類型推理的語義模型研究.pdf

1、隨著軟件系統(tǒng)的規(guī)模增長，其復雜程度越來越高。盡管函數(shù)式程序的執(zhí)行效率低，但為解決這類問題提供了一個優(yōu)美獨特的框架。本文通過研究函數(shù)式語言Haskell語言的類型推理的語義模型來進一步的挖掘函數(shù)式語言的優(yōu)點。
　　 首先，本文通過研究函數(shù)式語言的誕生背景以及發(fā)展，介紹了有關(guān)類型推理的發(fā)展及研究現(xiàn)狀。闡述了對于改善軟件質(zhì)量、提高軟件開發(fā)效率具有的重要現(xiàn)實意義和很好的學術(shù)價值。通過介紹Haskell語言，討論了Haskell語言的特性

2、以及Haskell語言作為函數(shù)式語言的優(yōu)缺點。
　　 其次，根據(jù)形式語義學的相關(guān)理論，提出了建立在Haskell語言基礎(chǔ)上的類型推理的語義模型。包括兩個方面，一種是單態(tài)和多態(tài)類型推理語義模型，分別從約束和函數(shù)應用來說明它們的語義模型，約束相對比較簡單，可以直接根據(jù)已知推出類型，而函數(shù)應用就要運用合一的類型辦法來得出最終的類型。另一種是函數(shù)類型推理語義模型，通過高階函數(shù)的類型推導得出函數(shù)類型推理語義模型，主要包括高階函數(shù)和函數(shù)的復