«extensionality» 태그된 질문

4
람다 미적분학에서 변환 의 요점은 무엇입니까 ?
나는 그것을 이해하지 못하는 것 같아요,하지만 나에게 -conversion 모습을 A와 아무것도의 특별한 경우하지 않습니다 -conversion 결과가 람다 추상화 단지 용어입니다 -conversion을 아무것도 없기 때문에 무의미한 beta-변환의 종류 .β β βηη\etaββ\betaββ\betaββ\beta 아마도 -conversion은 이것과는 정말로 깊고 다른 것이지만, 그것이 없다면 그것을 얻지 못하고 도움이되기를 바랍니다.ηη\eta (감사하고 죄송합니다. 이것은 람다 미적분학의 기본 …
2
람다 미적분학에 대한 중간 에타 이론이 있습니까?
람다 미적분학에 대한 두 가지 주요 이론, 즉 베타 이론과 사후 완성 확장, 베타 에타 이론이 있습니다. 이 두 이론은 합동 재 작성 이론을 제공하는 중간 정도의 에타 규칙을 가지고 있습니까? 부분 확장성에 해당하는 흥미로운 개념이 있습니까? 이것은 내가 중간 ETA의 추구에 요청했습니다 두 번째 질문은, 이전의 존재의 람다 계산법의 …
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
1
패턴 람다 미적분에서의 이타 확장
Klop, van Oostrom 및 de Vrijer에는 람다 미적분학에 패턴이있는 종이가 있습니다. http://www.sciencedirect.com/science/article/pii/S0304397508000571 어떤 의미에서 패턴은 변수의 트리입니다.하지만 ((x, y), z), (t, s))와 같이 중첩 된 변수의 튜플이라고 생각합니다. 논문에서 그들은 패턴이 선형 적이라면 패턴의 변수가 반복되지 않는다는 의미에서 규칙을 보여 주었다. (\p . m) n = m [n/p] 여기서 p는 …
1
람다 미적분학 모델의 확장 성
LISP에 관한 책을 번역하고 있으며 자연스럽게 λλ\lambda 미적분의 일부 요소에 닿습니다. 따라서 확장 성의 개념은 λλ\lambda 미적분 의 일부 모델과 함께 언급 됩니다. 즉, 피ωPω\mathcal{P}_\omega 및 디∞D∞D^\infty (예, 무한대가 맨 위에 있음). 그리고 피ωPω\mathcal{P}_\omega 는 확장 적이며 디∞D∞D^\infty 는 확장 되지 않는다고합니다. 그러나 ... 나는 Barendregt의 Lambda Calculus, Syntax and …
3
두 함수가 같은 확장인지 계산할 수 있습니까?
다른 정렬 알고리즘을 구현하는 두 개의 함수가있는 경우 소스 코드를 통해 둘 다 동일한 외부 특성을 갖는 것으로 추론 할 수 있습니까? 둘 다 가능한 정렬되지 않은 시퀀스를 입력으로하고 정렬 된 시퀀스를 출력으로한다는 것을 의미합니까? 이러한 외부 속성은 소스 코드에 의해 어떤 방식으로 결정될 수 있습니까? 이러한 외부 속성을 어떻게 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.