진위값

[Haskell] 하스켈 기초반 2강 - 진위값

자 이제부터 2강에서는 진위값에 대해 알아보는 시간을 가져보겠습니다. 1.동등 비교와 기타 비교들 앞 장에서는 다음 코드처럼 등호를 사용하여 변수와 함수를 정의하였습니다. r = 5 이 코드를 프로그래밍적으로 평가하자면 (스코프 안에서) r을 모두 5로 치환한다는 뜻이 됩니다. f x = x + 3 다음 코드에서는 f다음 숫자에 (f의 인자) 가 붙는 모든 자리에 숫자 3을 더한 것으로 치환됩니다. 그렇다면 수학에서 등호는 중요한 요소가 되지만 미묘하게 다른 방식으로도 쓰이게 되는데 그 예로 x + 3 = 5 이 문제에서 우리의 괸심사는 값 5를 x + 3 으로 표현하거나 x + 3을 5로 표현한다는 것이 아닌 등식 x + 3 = 5를 명제(proposition)로서 보고, 어떤 숫자에 x를 3으로 더하..