나는 다음 식을 평가할 : (λx.y)((λz.zz)(λw.w))
이 β 감소를 사용하여. 대답은 : (λx.y)((λz.zz)(λw.w)) ->
(λx.y)((λw.w)(λw.w)) ->
(λx.y)(λw.w) -> y
하지만 2 단계 이해가 안 : 여기에서 : (λx.y)((λz.zz)(λw.w)) 여기까지를 (λx.y)((λw.w)(λw.w
흥미로운 질문이 있습니다. 그러나 정확히 어떻게 구절을 사용해야하는지 잘 모르겠습니다 ... 람다 계산법을 고려하십시오. 주어진 람다 식에서 몇 가지 가능한 축소 명령이 있습니다. 그러나 이들 중 일부는 종료되지 않으며 다른 일부는 종료됩니다. 람다 미적분학에서 하나의 특정 축소 순서가 있음이 밝혀졌습니다. 보장 된은 실제로 존재할 경우 기약 해결책으로 종
OK 여기는 내가 원하는 방식으로 작동하기 때문에 이상한 질문입니다. 내가하고있는 것은 람다 미적분 표현을위한 파서를 작성하는 것입니다. 그래서 표현은 네 가지 중 하나가 될 수 있습니다 변수 일정 (식 표현) (람다 variable.expression 사항)를 볼 수있는 지금 마지막 두 표현식에는 표현식이 있습니다. 내가하려고했던 것은 전반적인 표현을 결
어리석은 방법에 대한 질문입니다. 여기에 몇 가지 설명이 있습니다. 자바 스크립트에서 람다 미적분을 실험 중이며 약간의 어려움이 있습니다. 나는이 기능 (BTW 숫자 교회 1)이 을 (당신이 나를 도와 람다 계산법에 대해 알 필요가 없습니다) : function num1(c) {
return function(x){
return c(x);
}
Java에서 기본 람다 식 조작 (선호되는 형식의 람다 사용)을 계획하고 있습니다. 내가 사용하는 라이브러리 (안정적인가 그렇지 않은가)가 있습니까? 업데이트 : 더 명시 적으로 상태를 람다 식을 조작하고 싶습니다. 파일에서 일부 람다 식을 구문 분석하고 일부를 결합하여 새로운 식을 만듭니다. 기본적으로 함수형 프로그래밍보다 구문 분석이 더 많이 필요합니다
저는 함수 프로그래밍, lisp 및 람다 미적분학에 대한 새로운 기능을 제공합니다. 임 일반 Lisp 람다 Calc 스타일로 AND 연산자를 구현하려고. 위키 : AND : = λp.λq.pqp 지금까지 내 코드입니다 : (defvar TRUE #'(lambda(x)#'(lambda(y)x)))
(defvar FALSE #'(lambda(x)#'(lamb
LUA가 다음 코드를 고려 f = {}
for i = 1, 10 do
f[i] = function()
print(i .. " ")
end
end
for k = 1, 10 do
f[k]()
end
이이 경우에는 1 내지 10의 숫자를 인쇄 i는 외부 루프의 각 반복에 대한 값에 걸쳐 폐쇄된다. var f =