살아가는 이야기

함수형 언어 프로그래밍 관련하여 글을 읽다보면 정규형(NF: normal form), 상위정규형(HNF: head normal form), 최상위정규형(WHNF: weak head normal form)이라는 말이 나온다. 도대체 무슨 뜻일까?세 용어 모두 수식을 계산하는 과정에서 나타나는 용어로서 정규형은 수식을 모두 계산한 형태를 뜻한다. 즉 더 이상 계산할 것이 없는 상태를 뜻한다. 예컨대 Python 람다 표기법을 사용하면 아래와 같은 람다 수식은 정규형이다.lambda a, b: a + b수식 자체가 함수로 계산되는데 함수의 인수가 없으므로 정규형이다. 이는 상위정규형도 되고 최상위정규형도 된다. 그런데 아래와 같이 인수가 주어진다면 더 이상 정규형이 아니다.(lambda a, b: a + b)..