PLT - 專(zhuān)題 - 簡(jiǎn)書(shū)

投稿

PLT

收錄了13篇文章 · 5人關(guān)注

[PLT] 柯里化的前生今世（六）：詞法作用域和閉包
關(guān)于本文是系列文章中的第六篇，在上一篇中，我們介紹了動(dòng)態(tài)作用域机杜，并進(jìn)行了相關(guān)名詞的解釋。我們解釋了什么是環(huán)境脯爪，什么是幀末盔，如何在一個(gè)環(huán)境中對(duì)表達(dá)...

何幻 0
[PLT] 柯里化的前生今世（五）：動(dòng)態(tài)作用域
關(guān)于本文是系列文章中的第五篇薛训，在上一篇中恨旱，我們介紹了編譯器和解釋器辈毯，抽象語(yǔ)法樹(shù)與S表達(dá)式的關(guān)系，并且我們還打算寫(xiě)一個(gè)極簡(jiǎn)的元循環(huán)解釋器搜贤。通過(guò)寫(xiě)...

何幻 0

[PLT] 柯里化的前生今世（七）：first-class continuation
關(guān)于本文是系列文章中的第七篇谆沃，在上一篇中，我們對(duì)比了動(dòng)態(tài)作用域和詞法作用域仪芒，并實(shí)現(xiàn)了一個(gè)支持詞法作用域的Lisp方言唁影。我們看到，動(dòng)態(tài)作用域和...

何幻 0
[PLT] 柯里化的前生今世（十二）：多態(tài)性
關(guān)于本文借用Haskell介紹了自定義類(lèi)型掂名，帶參數(shù)的類(lèi)型据沈，Ad-hoc多態(tài)性，kind饺蔑，其中锌介，帶參數(shù)的類(lèi)型在類(lèi)型上可以做“柯里化”。 1. 自...

何幻 1
[PLT] 柯里化的前生今世（十）：類(lèi)型和類(lèi)型系統(tǒng)
1. 形式化方法在計(jì)算機(jī)科學(xué)中膀钠，尤其在軟件工程和硬件工程領(lǐng)域掏湾，形式化方法（Formal method），是一種數(shù)學(xué)方法肿嘲，用于軟件和硬件系統(tǒng)的描...

何幻 0
[PLT] 柯里化的前生今世（三）：語(yǔ)言和同像性
按照故事情節(jié)的正常發(fā)展融击，我們這一篇該介紹Racket語(yǔ)言的語(yǔ)法了■撸可是尊浪，在大局觀上，我們還沒(méi)有達(dá)成共識(shí)封救。對(duì)于一個(gè)概念來(lái)說(shuō)拇涤，我們不止要學(xué)會(huì)怎樣描述...

何幻 1
[PLT] 柯里化的前生今世（八）：尾調(diào)用與CPS
關(guān)于本文是系列文章中的第八篇，在上一篇中誉结，我們介紹了continuation的概念鹅士，還介紹了Lisp中威力強(qiáng)大的call/cc，它提供了fir...

何幻 2

[PLT] 柯里化的前生今世（十一）：Pure and Lazy
語(yǔ)言的作用語(yǔ)言的作用是為了交流想法惩坑，描述概念掉盅，當(dāng)前使用了什么語(yǔ)言，取決于我們有什么樣的需要以舒。為了理解詞法作用域趾痘，閉包，和continuati...

何幻 0
[PLT] 柯里化的前生今世（九）：For Great Good
關(guān)于本文是系列文章中的第九篇蔓钟，上文第二~八篇中永票，我們學(xué)習(xí)了Racket語(yǔ)言，它很有代表性滥沫，是一種Lisp方言侣集。很多概念用Racket描述會(huì)更加...

何幻 0
[PLT] 柯里化的前生今世（二）：括號(hào)神教
The limits of your languages are the limits of your world.只會(huì)一種語(yǔ)言，會(huì)限制你的視野...

何幻 0