«lambda-calculus» 태그된 질문

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

7
람다 미적분학은 추상적이지 않은 것으로 보입니다. 그리고 나는 그것의 요점을 볼 수 없다
근본적인 질문 : 무엇 않습니다 람다 계산법은 우리가 일반적으로 중학교 대수에서 배운 기본 기능 특성과 표기법으로 할 수없는 것을 우리를 위해 할? 우선, 람다 미적분학의 맥락에서 초록은 무엇을 의미합니까? 초록이라는 단어에 대한 나의 이해는 개념의 개념적인 요약 인 기계와 분리 된 것입니다. 그러나 람다 함수는 함수 이름을 제거함으로써 특정 수준의 …
3
프로그래밍 언어 이론 공부
나는 최근에 (기능적) 프로그래밍 언어의 측면을 이해하고 증명하는데 매우 관심을 가지게되었다. 그러나 자세히 미적분학, 범주 이론 및 획기적 의미론과 같은 것은 적절한 설명 없이는 이해하기가 조금 어렵습니다.λλ\lambda SICP (깨끗한 책)를 읽었지만 함수형 프로그래밍 이론에 대해 자세히 알아 보려고합니다. 기능 프로그래밍 언어 이론을 처음부터 논의 할 책 / 블로그 / 사이트 …
2
람다 미적분에서 알려지지 않은 함수에 대한 함수 방정식 풀기
람다 미적분에서 알려지지 않은 함수에 대한 함수 방정식을 푸는 기술이 있습니까? ID 함수를 확장 적으로 정의했다고 가정 해보십시오. Ix=xIx=xI x = x (즉, 그 함수의 예상되는 동작을위한 식을 작성하여, 임) 지금은 그것을 해결하고자 그 함수의 식을 내포 얻을 일부 대수적 변환을 수행하여III I=λx.xI=λx.xI = \lambda x.x 그것은 함수가 정확히 무엇을 …
1
Hindley-Milner 알고리즘이 t1-> t2와 같은 유형을 생성하지 않는 이유는 무엇입니까?
나는 약 읽고 있어요 힌들리 - 밀너 입력 알고리즘 구현을 작성하고, 그 볼 동안, 당신은 항상 같은 인수가 최종 형태를 결정하는 하나의 원자 유형 또는 유형, 얻을 것이다 긴 모든 변수가 바인딩되는만큼, t1 -> t1또는 (t1 -> t2) -> (t1 -> t2)어디서 t1그리고 t2유형 변수입니다. 나는 당신이 t1 -> t2또는 …
3
미적분과 프로그래밍 언어의 차이점은 무엇입니까?
나는 미적분학과 프로그래밍 언어라는 것에 대해 혼란스러워합니다. 나는 미적분학이 프로그램의 동등성에 대한 추론을위한 공식적인 시스템이라고 생각하는 경향이있다. 프로그램에는 기계에 의해 지정된 작동 의미론이 있으며 결정적이어야합니다. 이런 식으로 언어 대한 (정확한) 미적분 은 프로그램 동등성을위한 확실한 방법입니다.엘엘L 이것은 나에게 합리적인 분열처럼 ​​보이지만 이것이 일반적으로 받아 들여지는 의미입니까? 아니면 잘못 됐나요? 관련, …
1
조합 계산식은 어떤 함수를 계산할 수 있습니까?
콤비 네이터 표현식 (SK 기반으로 말하면)은 콤비 네이터 미적분 표현식을 콤비 네이터 미적분 표현식에 매핑하는 함수로 생각할 수 있습니다. 즉, 표현식 를 함수 X : L → L 로 생각할 수 있습니다 . 여기서 L 은 SK 기반의 구문 상 유효한 모든 결합기 표현식 세트입니다. 이 매핑은 입력을 식에 적용한 …
3
순수한 람다 미적분학의 퀴네
순수한 람다 미적분학 에서 quine 의 예를 원합니다 . 인터넷 검색으로 찾을 수 없다는 사실에 놀랐습니다. quine 페이지 에는 많은 "실제"언어에 대한 quies가 나열되어 있지만 lambda 미적분학에는 해당되지 않습니다. 물론 이것은 람다 미적분학에서 퀴니가 의미하는 바를 정의하는 것을 의미합니다. (나는 매우 구체적인 것을 요구하고 있습니다.) Larkin and Stocks (2004)와 같은 …
2
고차 함수는 함수형 프로그래밍에 더 강력한 기능을 제공합니까?
cstheory.SE에 대해 비슷한 질문 을했습니다 . Stackoverflow 에 대한 이 답변에 따르면 비 게으른 순수 함수형 프로그래밍 언어에는 복잡도를 갖는 알고리즘이 있지만 명령형 프로그래밍의 동일한 알고리즘은 Ω ( n ) 입니다. FP 언어에 게으름을 추가하면 알고리즘이 Ω ( n )이 됩니다.Ω ( n 로그n )Ω(nlog⁡n)\Omega(n \log n)Ω ( n )Ω(n)\Omega(n)Ω …
4
누군가가 상황에 맞는 문법의 단순하지만 장난감이 아닌 예를 줄 수 있습니까?
상황에 맞는 문법을 이해하려고합니다. 언어가 왜 그런지 이해합니다 { w w ∣ w ∈ A※}{ww∣w∈A∗}\{ww \mid w \in A^*\} {엔비엔씨엔∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} 문맥에 자유롭지는 않지만 비 유형 람다 미적분과 유사한 언어가 문맥에 민감한 지 알고 싶습니다. 나는 단순하지만 장난감이 아닌 예제 (위의 장난감 예제를 …
1
건축 미적분학에서
내가 찾고 있어요 구조물의 미적분 과에서의 위치 람다 큐브 . 올바르게 이해하면 큐브의 각 축은 유형이 포함 된 다른 연산을 간단한 유형의 미적분에 추가하는 것으로 생각할 수 있습니다 . 첫 번째 축은 유형 대 연산자, 두 번째 유형 대 연산자 및 세 번째 종속 유형 또는 용어 대 연산자를 추가합니다. …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.