람다 미적분

작가: Monica Porter
창조 날짜: 18 3 월 2021
업데이트 날짜: 1 칠월 2024
Anonim
공연비, 람다 (Air/fuel ratio, Lambda)
동영상: 공연비, 람다 (Air/fuel ratio, Lambda)

콘텐츠

정의-Lambda 미적분학이란 무엇입니까?

Lambda 미적분학은 컴퓨터 과학에서 함수 정의, 응용 및 재귀에 사용되는 수학적 논리의 형식 시스템입니다.

함수형 컴퓨터 프로그래밍은 이러한 유형의 미적분학에서 비롯되었으며 함수 계산을위한 간단한 의미론을 제공함으로써 소프트웨어 개발 모델로 작동합니다. 참조 투명성이 없기 때문에 프로그램 상태를 변경할 수있는 명령형 기능과 달리 기능 프로그래밍은 프로그램 상태를 변경하지 않습니다.


Microsoft Azure 및 Microsoft 클라우드 소개 | 이 가이드를 통해 클라우드 컴퓨팅에 관한 모든 내용과 클라우드에서 비즈니스를 마이그레이션하고 운영하는 데 Microsoft Azure가 어떻게 도움이되는지 알아 봅니다.

Lambda 미적분학 설명 Techopedia

Lambda 미적분은 코드 스레드가 실행 된 시간이나 기계에 관계없이 언어 코드 스레드의 결과가 정확히 동일한 값이되도록합니다. 일반적으로 예측할 수없는 프로그램 응답이있는 명령형 함수 프로그래밍의 경우에는 해당되지 않습니다.

기능적 프로그래밍은 기본 기능적 프로그래밍 구조로 설계되지 않은 프로그래밍 언어라도 모든 프로그래밍 언어로 실현 될 수 있습니다.