5 처지: 느긋한 계산법, 람다 대수, 평가 전략 (컴퓨터 프로그래밍), 함수형 프로그래밍, 하스켈.
느긋한 계산법
밍에서 느긋한 계산법(Lazy evaluation)은 계산의 결과값이 필요할 때까지 계산을 늦추는 기법이.
새로운!!: 평가 전략 (컴퓨터 프로그래밍)와 느긋한 계산법 · 더보기 »
람다 대수
수(λ-calculus, lambda-calculus)는 이론 컴퓨터과학 및 수리논리학에서 변수의 네임 바인딩과 대입의 방법을 이용하여 함수 정의, 함수 적용, 귀납적 함수 추상화를 수행하고 수학 연산을 표현하는 형식 체계이.
새로운!!: 평가 전략 (컴퓨터 프로그래밍)와 람다 대수 · 더보기 »
평가 전략 (컴퓨터 프로그래밍)
평가 전략()은 프로그래밍 언어에서 함수 호출의 아규먼트(argument)의 순서를 언제 결정하고 함수에 어떤 종류의 값을 통과시킬지 결정하는 것이.
새로운!!: 평가 전략 (컴퓨터 프로그래밍)와 평가 전략 (컴퓨터 프로그래밍) · 더보기 »
함수형 프로그래밍
수형 프로그래밍은 자료 처리를 수학적 함수의 계산으로 취급하고 상태와 가변 데이터를 멀리하는 프로그래밍 패러다임의 하나이.
새로운!!: 평가 전략 (컴퓨터 프로그래밍)와 함수형 프로그래밍 · 더보기 »
하스켈
스켈 또는 해스켈()은 순수 함수형 프로그래밍 언어이.
새로운!!: 평가 전략 (컴퓨터 프로그래밍)와 하스켈 · 더보기 »