차례:
정의-Lambda 미적분학이란 무엇입니까?
Lambda 미적분학은 컴퓨터 과학에서 함수 정의, 응용 및 재귀에 사용되는 수학적 논리의 형식 시스템입니다.
함수형 컴퓨터 프로그래밍은 이러한 유형의 미적분학에서 시작되었으며 함수 계산을위한 간단한 의미론을 제공함으로써 소프트웨어 개발의 모델로 작용합니다. 참조 투명성이 없기 때문에 프로그램 상태를 변경할 수있는 명령형 기능과 달리 기능 프로그래밍은 프로그램 상태를 변경하지 않습니다.
Lambda 미적분학 설명 Techopedia
Lambda 미적분은 코드 스레드가 실행 된 시간이나 기계에 관계없이 언어 코드 스레드의 결과가 정확히 동일한 값이되도록합니다. 일반적으로 예측할 수없는 프로그램 응답이있는 명령형 함수 프로그래밍의 경우에는 해당되지 않습니다.
기능적 프로그래밍은 기본 기능적 프로그래밍 구조로 설계되지 않은 언어라도 모든 프로그래밍 언어로 실현 될 수 있습니다.
