lambda-calculus

2熱度

1回答

首先，我從來沒有研究過這些東西，或任何東西，所以我可能會問很無聊的問題，這我很抱歉，請去容易對我:) 我玩弄實施演算，並根據需求進行評估。我試圖按照this paper關於這個問題，其中有關位似乎是第28頁上描述的自然語義。無論如何，我不明白這個評估策略是，據我瞭解，實際替代只發生在評估變量時。抽象評估自己，因爲這些是值，應用程序只會將新條目添加到緩存中。但考慮到，究竟是如何一個去評價像 (λ

0熱度

2回答

嵌套函數組合

我不能環繞以下功能組成我的頭： function plus_one(x) { return x + 1; } function trans(f) { return function(x) { return 2 * f(2 * x); }; } function twice(f) { return function(x) {

2熱度

2回答

Haskell AST與遞歸類型

我目前正在嘗試構建一個lambda微積分求解器，並且在構建AST時遇到了一些小問題。甲演算術語感應定義爲： 1）一種可變 2）的λ，變量，一個點，一個lambda表達式。 3）括號，lambda表達式，lambda表達式和括號。我想怎麼做（在第一次嘗試）是這樣的： data Expr = Variable | Abstract Variable Expr | App

0熱度

1回答

使用preg_match驗證表達式

美好的一天！我試圖創建一個程序來接受來自用戶的Lambda表達式，該程序做的是檢查它是否爲有效的Lambda表達式。例子 - 用戶輸入（λa.abc）一 - >然後驗證我的問題是，我的正則表達式函數的知識是非常有限的，我一直在使用的preg_match來解決這一點，但仍然沒有太大的進展。任何幫助將不勝感激..謝謝:) 那麼這些都是有效的λ-表達單個可變=（單字母）功能應用=（λ的規則-ex

0熱度

1回答

lambda微積分中的Eta抽象

Eta lambda微積分中的抽象意味着如下。 A function `f` can be written as `\x -> f x` Eta是抽象的任何用途，同時減少lambda表達式？它只是寫某些表達式的另一種方式嗎？

2熱度

1回答

按價值和按名稱等值

我正在參加Coursera課程的函數式編程課程，並且在某些時候他們討論了按值分類和按名稱評估技術之間的區別。他們的一些點混淆了我，他們說：這兩種技術都降低到相同的最終值，只要：減少的表達由純函數和既評估終止這似乎是一個演算定理。你能解釋一下「純粹函數的簡化表達式」是什麼意思嗎？

1熱度

1回答

證明乘法除了以上功能分配律在Haskell

我目前在Haskell和演算的一個初學者的課程，我不確定如何做下面的練習：使用下列定義（+ ），並在哈斯克爾（*）操作，證明： 1）的分配法（*）比（+） (∀m⇓,n⇓,k⇓::N) (m+n) * k = m * k + n * k 定義： (+) :: N -> N -> N (+) = \m n -> case m of { 0 -> n; S(y) -> S(y+n)} (*

0熱度

1回答

lambda微積分符號語法錯誤序言

我試圖在Prolog中實現beta縮減，DCG和詞典。當我試圖編譯時，它給了我一個語法錯誤，它是運算符@。我該如何解決它？ beta(Exp,Exp):- atomic(Exp), !. beta(lbd(V,F_body)@Exp,Result):- !, substitute(V,Exp,F_body,Result1), beta(

0熱度

1回答

什麼是一種投影機

我一直在深入研究FP及其周圍的一切，並且我發現在某處沒有任何細節和解釋的情況下，寫下類似投影機的概念。我發現的唯一的東西是這個github project，我開始考慮它是指這個特定的項目，還是指FP中的一些通用概念？那麼，什麼是一種投影儀？爲什麼它有用？（如果可能，你能否提供例子，資源等？）

0熱度

1回答

lambda演算中的量詞

我在學習lambda演算，但是我對lambda演算中的量詞很困惑。據我所知，諸如「∃」之類的量詞是一階邏輯（FOL）的概念，lambda演算不需要這些概念。此外，我沒有發現任何關於我讀過的任何教程中的量詞。但是，我發現this paper（Lambda Dependency-Based Compositional Semantics ），在第一頁中，作者在lambda演算中使用了量詞。那麼，在l