lambda-calculus

11熱度

1回答

我有一個有趣的問題，但我不知道如何將其短語... 考慮lambda演算。對於給定的lambda表達式，有幾種可能的縮減順序。但其中一些不會終止，而有些則不會。在λ演算中，事實證明存在一個特定的縮減順序，即保證如果實際存在，總是以不可約的解決方案終止。這叫做正常訂單。我寫了一個簡單的邏輯求解器。但麻煩在於，它處理約束的順序似乎對它是否找到解決方案產生巨大影響。基本上，我想知道我的邏輯編程語言是否

0熱度

1回答

實踐中的Lambda微積分

如何選擇一種語言，實際計算的lambda項（λx.y）（（λx.xxx）（λx.xxx））？換句話說，需要一種語言來減少正常秩序和弱勢系統。

2熱度

1回答

等效的計算模型

我在尋求解釋如何能夠證明計算模型是等價的。我一直在閱讀有關該主題的書籍，但省略了等效證明。我有兩個計算模型等價的意思（自動機視圖：如果他們接受相同的語言）意味着什麼。還有其他的思考等值的方式嗎？如果你能幫助我理解如何證明圖靈機模型等價於lambda演算，那就足夠了。

1熱度

1回答

Lambda微積分函數的減少

我對lambda微積分很新，在閱讀教程時遇到了這個問題。這是我的等式。 Y = ƛf.(ƛx.f(xx)) (ƛx.f(xx)) 現在，如果我們應用的另一種說法，假設F（YF），那麼我們如何能減少this.If我根據測試減少是正確的，我們可以在替換所有˚F（ƛx .f（xx））由（ƛx.f（xx）），這是正確的，如果是的話，我們該怎麼做。感謝

4熱度

3回答

Python：嵌套lambdas - `s_push：解析器堆棧溢出內存錯誤`

我最近偶然發現了this article，它描述瞭如何在Ruby中僅使用Procs編寫FizzBuzz，並且自從我感到無聊以來，認爲它會很好地嘗試和實現Python中使用lambda表達式的同一件事。我到您創建使用嵌套函數的數字部分，並寫了下面的Python腳本： #!/usr/bin/env python zero = lambda p : (lambda x: x) one = l

1熱度

1回答

結束與flex和野牛文件令牌（只有沒有它的作品）

好吧，這是一個奇怪的問題，因爲我在這裏有我想要的方式工作。我在做的是爲lambda微積分表達式編寫解析器。因此，一個表達式可以是以下四種情況之一：變量不斷（詞句）（拉姆達variable.expression）現在你可以看到，最後兩個表達式中有表達式。我試圖做的是確定整體表達式，以便我可以報告它是哪種類型。因此，例如表達式（（λx（f1 x））100）是整體的組合。我的想法是在flex到

3熱度

1回答

功能返回值，而不用用給定參數替換變量

sry關於愚蠢的方式我在這裏解釋了這個問題的一些解釋：我正在用javascript進行lambda微積分實驗，並且遇到一些小問題。（你不必知道拉姆達演算任何事情來幫助我）我有這個功能（教會數字1 BTW）： function num1(c) { return function(x){ return c(x); } } alert(num1) 行爲與預期，並給出確切的同樣

1熱度

2回答

圖書館在java中做一些'lambda微積分'

我打算在Java中做一些基本的lambda表達式操作（最好使用類型化的lambda表達式）。是否有我使用的庫（stable或otherwise）？更新：爲了更明確的狀態，我想操縱lambda表達式，例如在一個文件中，我解析了一些lambda表達式，並將它們中的一些組合起來以創建一個新的表達式。基本上，它比函數式編程更多的是解析。

5熱度

3回答

一個組合子的類型簽名不匹配等值lambda函數的類型簽名

考慮這個組合子： S (S K) 它應用到的參數XY： S (S K) X Y 它收縮到： X Y 我將S（SK）轉換爲相應的Lambda條款並得到了如下結果： (\x y -> x y) 我用哈斯克爾WinGHCi工具來獲得（\ x和y - > x和y）的類型簽名，它返回： (t1 -> t) -> t1 -> t 這對我來說很有意義。接下來，我用WinGHCi得到S（S

5熱度

1回答

隱式參數是GHC內聯的難點嗎？

我很好奇在Functional Pearl: Implicit Configurations文章Kiselyov和撣討論了反對implicit parameters。在存在隱式參數的情況下內聯代碼（β-reduce）並不健全。真的嗎？我希望GHC應該與傳遞的隱式參數一樣嵌入到相同的範圍內，否？我相信我理解他們的反對意見認爲：一個術語的行爲可以改變，如果它的簽名是添加，刪除或更改。 GHC的