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

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

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