最佳答案

• 

  課程顧問(wèn)-小管家 2022-04-29 13:43:56

  立即咨詢

  　　伊利諾伊大學(xué)香檳分校CS421課程內(nèi)容主要有四部分：第一部分是學(xué)習(xí)如何用函數(shù)式編程語(yǔ)言(HASKELL)編程，函數(shù)式編程背后的一些數(shù)學(xué)知識(shí)，以及如何用HASKELL編寫解釋器。第二部分是學(xué)習(xí)語(yǔ)法分析，或者如何將文本轉(zhuǎn)換成解釋器需要工作的數(shù)據(jù)結(jié)構(gòu)。第三部分是學(xué)習(xí)用于推理程序和編程語(yǔ)言含義的數(shù)學(xué)。最后一部分是了解不同語(yǔ)言中可用的一些權(quán)衡以及這些選擇可能產(chǎn)生的影響。

  　　一、具體來(lái)說(shuō)，伊利諾伊大學(xué)香檳分校CS421課程重點(diǎn)內(nèi)容如下：

  　　1、HASKELL入門，遞歸，高階函數(shù)。

  　　2、代數(shù)數(shù)據(jù)類型，用基本算法實(shí)現(xiàn)求值器，實(shí)現(xiàn)閉包和函數(shù)調(diào)用。

  　　3、大步語(yǔ)義，λ演算，持續(xù)傳遞式樣。

  　　4、類型類別，語(yǔ)法，常規(guī)語(yǔ)言。

  　　5、LL解析，LR解析，組合子解析。

  　　6、小步驟語(yǔ)義，類型語(yǔ)義。

  　　7、霍爾邏輯、變量、參數(shù)、元編程。

  

  　　二、綜上所述，伊利諾伊大學(xué)香檳分校CS421課程的目的是讓同學(xué)能夠：

  　　1、學(xué)習(xí)用函數(shù)式編程語(yǔ)言編程。

  　　2、理解函數(shù)式編程語(yǔ)言中的程序評(píng)估。

  　　3、編寫給定正式類型系統(tǒng)的類型檢查器/類型推理器。

  　　4、使用遞歸下降解析編寫詞法分析器和解析器。

  　　5、程序翻譯：編寫從抽象語(yǔ)法到中間表示的語(yǔ)法指導(dǎo)的翻譯器。

  　　6、認(rèn)識(shí)并使用動(dòng)態(tài)語(yǔ)法規(guī)范的主要方法。

  　　7、基于語(yǔ)言的正式可選語(yǔ)義編寫解釋器。

  　　8、識(shí)別編程語(yǔ)言中可用的不同設(shè)計(jì)決策，并對(duì)其效果進(jìn)行推理。

  　　同學(xué)這邊要是有伊利諾伊大學(xué)香檳分校CS421課程學(xué)習(xí)方面的問(wèn)題，可以立即聯(lián)系我們，我們能馬上安排老師針對(duì)具體問(wèn)題進(jìn)行輔導(dǎo)。

其他答案