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

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

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