if 표현식은 조건식의 진위 여부에 따라 서로 다른 값을 계산하거나 실행 흐름을 분기하는 데에 사용한다. C의 if 문과 비슷한 역할이지만, C와 다르게 표현식의 일부로도 쓰일 수 있다.
if
? 조건식의 타입은 불린 타입으로 한정되어야 할까? 아니라면, 반복자와 비슷하게 임의의 값을 불린 타입으로 변환하는 별도의 트레이트를 도입해야 할까?