First-order function: 편집 역사

2023년 2월 26일 (일)

• 최신이전 07:542023년 2월 26일 (일) 07:54 Ahn9807 토론 기여 1,058 바이트 +1,058 새 문서: 분류: 프로그래밍 언어 == 개요 == First-order 함수는 function의 인자로 다른 함수를 받거나, return으로 함수를 내보내지 못하는 함수를 의미한다. Environment(Env)를 다음과 같이 Id를 특정 값으로 매핑하는 집합이라고 하자 (즉, val x= 5; 에서 x가 어떤 값인지를 찾아주는 집합이다). 이떄 Env 를 다음과 같이 정의하면: :<math>Env \,\, \sigma \in Id \rightarrow (Id \times Expr) </math> First-...