람다 논문의 고전 모델이 Python에 유효하지 않다는 것을 이해합니다.
그리고 클로저는 파이썬 시스템 구현의 수학적 모델이 아닙니다.
어떤 모델입니까?
답변
람다 미적분학의 고전 논문에서 파이썬과 모델의 주요 차이점은 파이썬이 다중 패러다임 언어라는 것입니다. 람다 미적분학을 고려하는 대부분의 논문은 다른 패러다임을 추가하는 데 따른 복잡성 (OOP 또는 논리 프로그래밍)없이 순수한 기능적 언어를 고려합니다.
질문과 당신의 의견에서, 나는 당신이 그러한 다중 패러다임 언어의 기초에 관심이 있다고 생각합니다. 이 경우 Peter van Roy와 Seif Haridi의 컴퓨터 프로그래밍 개념, 기법 및 모델을 강력히 제안 할 수 있습니다 . 이 책은 주로 모차르트 / 오즈 언어에 관한 것으로서, 그 자체는 학문적 언어입니다. 그러나이 책은 매우 작은 핵심 언어로 시작하고 그 위에 (그리고 모두 동일한 핵심 언어 내에서) 객체 지향, 기능 및 논리 프로그래밍을 작성하는 방법을 매우 명확하게 보여줍니다.
실제 수학적 모델과 관련하여 대부분의 프로그래밍 언어에는 비공식 또는 반 정형 사양 만 있습니다. 람다 미적분학과 같은 적절한 이론을 기초로 삼는 것은 드물다. 발명 된 많은 수학적 모델이 있으며 어느 정도 적용 가능합니다. 흥미로운 것은 프로그래밍 시맨틱이 모델링되는 방법에 대한 다양한 접근 방식에 대한 일반적인 차이점이 있다는 것입니다. 시맨틱은 표기, 운영 또는 대수적으로 설명 할 수 있습니다. 더 깊이 들어가고 싶다면 프로그래밍 의 통일 이론에 대해 조금 읽어 보는 것이 시작이지만 가파른 학습 곡선을 가진 힘든 일이지만 시작합니다.