«lambda-calculus» 태그된 질문

λ- 미적분은 함수형 프로그래밍의 수학적 기초를 형성하는 함수 정의, 함수 적용 및 재귀에 대한 공식적인 시스템입니다.

2
Y 콤비 네이터는 "Lambda calculus inconsistency"를 어떻게 예시합니까?
Fixed Point Combinators에 대한 Wikipedia 페이지 에서 다소 신비한 텍스트가 작성되었습니다. Y 조합기는 Lambda 미적분을 일관성이 없게 만드는 예입니다. 따라서 의심으로 간주해야합니다. 그러나 수학 논리로만 정의 된 경우 Y 결합기를 고려하는 것이 안전합니다. 일종의 스파이 소설을 시작 했습니까? 세계에서 -calculus가 "일관되지 않음" 이고 "의심으로 간주 되어야 " 한다는 진술은 무엇을 …
2
양자 람다 미적분
일반적으로 계산에 대해 생각하는 3 가지 인기있는 방법이 있습니다 : 튜링 머신, 회로 및 람다 미적분학 (대부분의 기능적 관점에서 모두 이것을 캐치로 사용합니다). 세 가지 모두 서로 다른 유형의 문제에 대해 생각할 수있는 유익한 방법이었으며, 이러한 이유로 여러 분야에서 서로 다른 공식을 사용합니다. 그러나 양자 컴퓨팅으로 작업 할 때 회로 …
2
Lambda 미적분학은 순전히 구문 론적입니까?
나는 Lambda 미적분학에 대해 몇 주 동안 읽었지만 기존의 수학 함수와 실질적으로 다른 것을 보지 못했으며 그것이 단지 표기법의 문제인지 또는 새로운 것이 있는지 알고 싶습니다. 모든 수학 함수에 적용되지 않는 람다 미적분학 공리에 의해 생성 된 속성 또는 규칙. 예를 들어, 나는 그것을 읽었습니다. "익명 함수가있을 수 있습니다" : …
2
공용체 유형을 갖는 람다 용어의 특성
많은 교과서는 람다 미적분의 교점 유형을 다룹니다. 교차에 대한 타이핑 규칙은 다음과 같이 정의 할 수 있습니다 (하위 유형이있는 단순 유형 람다 미적분법 상단). Γ ⊢ M: T1Γ ⊢ M: T2Γ ⊢ M: T1∧ T2( ∧ 나)Γ ⊢ M: ⊤( ⊤ 나)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash …
5
반사가있는
나는 반사 에 대한 추론 , 즉 실행중인 프로그램의 내성 및 조작에 대한 추론을 지원하는 간단한 미적분학을 찾고 있습니다. 지정되지 않은 거기에 변환을 가능하게 -calculus 확장 구문 적으로 조작 한 후 연속적으로 평가 될 수있는 형태로 -terms은?λλλ\lambdaλλ\lambda 미적분학에는 두 가지 주요 추가 항이 있다고 생각합니다. v vr e f l …
5
기능 언어 튜링이 완벽한 이유는 무엇입니까?
아마도 주제에 대한 나의 제한된 이해가 잘못되었지만 이것이 내가 지금까지 이해 한 것입니다. 함수형 프로그래밍은 Alonzo Church가 공식화 한 Lambda Calculus를 기반으로합니다. 명령형 프로그래밍은 교회 학생 인 Alan Turing이 만든 Turing 머신 모델을 기반으로합니다. 람다 미적분은 튜링 머신만큼 강력하고 성능이 뛰어나 계산 능력과 동등합니다. 함수형 프로그래밍이 Turing 머신이 아닌 Lambda …
5
함수형 프로그래밍 외부의 람다 미적분?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 저는 대학생이며 현재 Lambda Calculus를 공부하고 있습니다. 그러나 여전히 이것이 왜 유용한 지 이해하는 데 어려움을 겪고 있습니다. 함수형 프로그래밍을 많이하면 유용 할 수도 있지만, 실제로는 …
2
베타 동등성은 무엇입니까?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 내가 현재 람다 미적분학을 읽고있는 스크립트에서 베타 동등성은 다음과 같이 정의됩니다. -equivalence 포함한 최소의 등가이다 .≡ β → βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta 나는 그것이 무엇을 의미하는지 전혀 모른다. 누군가가 …
2
조합 미적분의 기초 세트
S 및 K 콤비 네이터는 다른 모든 콤비 네이터가 이들의 관점에서 표현 될 수 있다는 점에서 콤비 네이터 미적분의 기초 세트를 형성하는 것으로 잘 알려져있다. 같은 속성을 가진 카레 B, C, K, W 기준도 있습니다. 그러한 수의 근거는 무한해야하지만 다른 것은 모른다. Iota 콤비 네이터 및 Fokker가 구성 / 검토 …
4
람다 미적분학에서 함수가 익명 인 것이 중요한 이유는 무엇입니까?
Jim Weirich의 ' 기능 프로그래밍 의 모험 '이라는 강의를보고있었습니다 . 이 강의에서 그는 Y- 콤비 네이터의 개념을 소개합니다.이 조합은 본질적으로 고차 함수의 고정 점을 찾습니다. 그가 언급 한 동기 중 하나는 람다 미적분학을 사용하여 재귀 함수를 표현할 수 있어야 교회의 이론 (실제로 계산 가능한 모든 것이 람다 미적분학을 사용하여 계산할 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.