«scheme» 태그된 질문

1
'quote`-`eval'과 언어의 문맥 상 등가가 사소한가?
[1]에서 Mitchell Wand는 순수한 람다 미적분에 fexprs를 추가하면 문맥 상 동등성 이론을 상쇄한다는 것을 보여 주었다. 즉, 두 항이 일치 하면 문맥 상 동등 하다. 관련 작업을 탐험 할 때, 그는 "우리의 결과는 것을 알버트 마이어 이전 관찰 [2] 확장 갔다 와 상황에 맞는 등가 사소한 렌더링을". 그러나 [2]를 참조하면 …

1
Scheme의 call / cc는 알려진 모든 제어 흐름 구조를 구현할 수 있습니까?
페이지 "고급 계획 : 일부 장난 꾸러기 비트" 상태 : 연속은 거의 모든 다른 제어 흐름 구조 [...]가 도출 될 수 있는 강력한 제어 흐름 구조입니다. call/ccPeter Landin의 J 연산자와 관련된 Scheme이 알려진 제어 흐름 구조 를 구현 하는 데 사용될 수 있다고 생각 했습니까? "제어 흐름 구조" 를 사용하여 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.