마지막으로 조금 남은 기초 용어들에 대해서만 정리합니다. Lift 함수와 파라미터를 받아 함수에 파라미터를 적용한 결과를 반환하는 것. 이 때, LiftA2, Lift 가 있고 전자는 2개 인자를 받아 map, ap을 적용하고 후자는 map을 적용합니다. Equational Reasoning 응용 프로그램이 부수 효과가 없는 순수 함수(표현식)들로만 구성되었다면 최종 시스템은 부분들로부터 유도가 가능하다는 추론입니다. 두 표현식은 아래 조건의 경우 동등합니다 두 표현식이 같은 값을 평가하거나, 두 표현식이 모두 무한 루프를 돌거나, 두 표현식이 모두 같은 예외를 던지거나. 아래의 규칙에 의존할 수 있습니다. 반사성(reflexivity) : 어떤 표현식 e 에 대하여 e == e 입니다. 대칭성(symm..