Scheme 中的 quasiquote, unquote, unquote-splicing

先談談 Scheme 中的 Quote 每次我向人介紹 Scheme 的時候,我總是喜歡跟人說 Scheme 語法只有一個: (函數名稱 參數1 參數2 參數n...) 在 scheme 如果不是數字或是文字,則會被當成 symbol ,而 symbol 簡言就是被當成某個內容的名稱,像是函數的命名、變數的命名都被稱為 symbol。 只要遇到 »

lambda 與邱奇數

lambda 這幾天研究了一下 lambda 之後,發現 lambda 根本不只是匿名的函數這麼簡單而已。在很早之前邱奇就很想用數學表達世界上所有的事情。而當中為為了設計一套方法來判斷什麼樣的東西是可以拿來被計算的,lambda 就被獨立出來發展了。 而 lambda 運算其實包含的元素其實很簡單,只有包含兩個東西,就是變數跟函數而已。 先講一下如何表示一個 lambda 表達式 ( lambda term ),接著舉幾個例子就能很快看懂這套數學系統了。 lambda 表達式的規則(以下用 t »