lambda演算入門
介紹如何進行簡單lambda演算的計算（規約）：形如下面這樣的題目： intro https://www.jianshu.com/p/ebae04e1e47c 這一篇很清晰，基本涵蓋了本文的內容。 可跳過本節，基本對做題沒幫助 關鍵字 小寫單字符用以命名參數，也叫變量（數學含義 ...
原文：我的最愛Lambda演算——開篇
在這個帖子的原始版本里，我試圖用一個JavaScript工具來生成MathML。但不太順利：有幾個瀏覽器沒法正確的渲染，在RSS feed里也顯示的不好。所以我只好從頭開始，用簡單的文本格式重新寫一遍。 計算機科學，尤其是編程語言，經常傾向於使用一種特定的演算：Lambda演算 Lambda Calculus 。這種演算也廣泛地被邏輯學家用於學習計算和離散數學的結構的本質。Lambda演算偉大的 ...
2018-06-11 16:18 0 1283 推薦指數：
相關推薦
Lambda演算（二）歸約！歸約！歸約！
（一） 這里先不列出λ項的正式定義，只記住λ表達式語義上的構造方式為： x 一個單獨的變量名是一個λ項表達式； (λx.M) 該λ表示一個函數。 ...
Lambda演算（一）大道至簡
從選擇信息專業開始到回爐讀書為止，四舍五入碼了八年代碼。對於計算機科學的認知僅限於： 1）使用不同語言實現特定功能 2）實現不同算法以增進系統性能 3）搭建不同架構進行組織管理 ...
λ演算 (Lambda Calculus) 一 ： 定義與函數式編程
1. 什么是λ演算 (Lambda Calculus)？ λ演算是數學家邱奇（Alonzo Church）在20世紀30年代發表的一種計算模型，以變量綁定和替換的規則，每個輸入參數用一個字母 λ (lambda)來表示，研究函數如何抽象化定義，函數如何被應用以及遞歸，最終形成 ...
[學習] 從 函數式編程 到 lambda演算 到 函數的本質 到 組合子邏輯
函數式編程 阮一峰 《函數式編程初探》，阮一峰是《黑客與畫家》的譯者。 wiki 《函數編程語言》 一本好書，《計算機程序的構造與解釋》有講到scheme lisp, 不過是作為工具。重點 ...
開篇
從事音頻軟件開發10+年，在不同的操作系統（linux/android/ios）下開發過多款產品，主要有通信設備、通信終端、無線音箱、音頻類APP等，涉及到音頻的多個模塊：音頻驅動、音頻前后處理、co ...
簡單易懂的程序語言入門小冊子（1）：基於文本替換的解釋器，lambda演算
最近比較閑，打算整理一下之前學習的關於程序語言的知識。主要的內容其實就是一邊設計程序語言一邊寫解釋器實現它。這些知識基本上來自Programming Languages and Lambda Calculi和Essentials of Programming Languages這兩本書 ...
開篇
去年畢業后，注冊了這個博客園，還想着記錄一些自己的所想所得，但直到一年后的今天，我才慢悠悠地動起了筆。說來好笑，找了好一會，才找到新建隨筆的按鈕。之所以會忽然想到要寫博客，還得得益於前幾天的兩場面 ...