@freedomme 對(duì)于λx.x來說，x是綁定變量，但對(duì)于x[x:=y]來說买乃，x就是自由變量了
λ演算(Lambda Calculus)入門基礎(chǔ)（一）：定義與歸約此系列文章是我學(xué)習(xí)lambda演算過程的總結(jié)與復(fù)習(xí)捞蚂，著重于探討“為什么(Why)”與“怎么做(How)”奈揍，也希望能對(duì)看到它的人學(xué)習(xí)了解這個(gè)形式系統(tǒng)有些微幫助厦章。由于之前看了不少...
@牛頭酋長(zhǎng) 理解一下上一篇的綁定變量與自由變量
λ演算(Lambda Calculus)入門基礎(chǔ)（二）：丘奇編碼(Church Encoding)上一篇我們已經(jīng)建好了lambda演算大廈的地基娘锁，接下來需要了解的就是如何在此基礎(chǔ)上構(gòu)造用于計(jì)算的一些通用工具了今野，比如自然數(shù)葡公、布爾值、基本運(yùn)算和布爾運(yùn)算等等条霜。 丘奇數(shù)(Chur...
至于你郵件中提到的問題催什，f和x是variable，函數(shù)體是f x宰睡，即apply f to y蒲凶，所謂應(yīng)用1次f就是這個(gè)意思。
λ演算(Lambda Calculus)入門基礎(chǔ)（二）：丘奇編碼(Church Encoding)上一篇我們已經(jīng)建好了lambda演算大廈的地基拆内，接下來需要了解的就是如何在此基礎(chǔ)上構(gòu)造用于計(jì)算的一些通用工具了旋圆，比如自然數(shù)、布爾值麸恍、基本運(yùn)算和布爾運(yùn)算等等灵巧。 丘奇數(shù)(Chur...
@牛頭酋長(zhǎng) 你可以看下我上一篇文章一開始提到的消歧約定：
一個(gè)函數(shù)抽象的函數(shù)體將盡最大可能向右擴(kuò)展，即：λx.M N代表的是一個(gè)函數(shù)抽象λx.(M N)而非函數(shù)應(yīng)用(λx.M) N抹沪。
函數(shù)應(yīng)用是左結(jié)合的刻肄，即：M N P意為(M N) P而非M (N P)。
λ演算(Lambda Calculus)入門基礎(chǔ)（二）：丘奇編碼(Church Encoding)上一篇我們已經(jīng)建好了lambda演算大廈的地基融欧，接下來需要了解的就是如何在此基礎(chǔ)上構(gòu)造用于計(jì)算的一些通用工具了敏弃，比如自然數(shù)、布爾值噪馏、基本運(yùn)算和布爾運(yùn)算等等权她。 丘奇數(shù)(Chur...
具體過程就不說了，mongoose很小巧逝薪，只有兩個(gè)文件mongoose.h/cpp隅要，拿來就可以用，并且官方文檔包括example也相當(dāng)?shù)呢S富董济，可以去官網(wǎng)或者GitHub上瀏覽...
之前在Windows上有用Perl編譯過OpenSSL步清，不過只是要用它的兩個(gè)靜態(tài)庫，這次搭一個(gè)https server還要用它來生成自簽名證書，其中我的配置文件在openss...
昨天遇到一個(gè)奇怪的問題，MQ意外掛掉后無法重啟谴轮，Java拋了成噸的異常炒瘟，找了找發(fā)現(xiàn)問題是端口已占用，本來以為是監(jiān)聽端口被哪個(gè)第三方服務(wù)給搶了第步，但是netstat后看到一個(gè)奇怪...
上一篇我們已經(jīng)建好了lambda演算大廈的地基疮装，接下來需要了解的就是如何在此基礎(chǔ)上構(gòu)造用于計(jì)算的一些通用工具了，比如自然數(shù)粘都、布爾值廓推、基本運(yùn)算和布爾運(yùn)算等等。 丘奇數(shù)(Chur...
此系列文章是我學(xué)習(xí)lambda演算過程的總結(jié)與復(fù)習(xí)翩隧，著重于探討“為什么(Why)”與“怎么做(How)”樊展，也希望能對(duì)看到它的人學(xué)習(xí)了解這個(gè)形式系統(tǒng)有些微幫助。由于之前看了不少...
前段時(shí)間做的開發(fā)有緩存數(shù)據(jù)持久化的需求堆生，最終采用了redis专缠，實(shí)行效果還不錯(cuò)，聊做總結(jié)淑仆。 〇藤肢、技術(shù)選型 要解決問題首先要分析問題。應(yīng)用角色是移動(dòng)物聯(lián)網(wǎng)平臺(tái)OneNET和公司S...
