단일 변환
expression body
Expression과 block body는 계약과 실패 처리를 기준으로 고른다
줄 수를 줄이려고 검증과 예외 변환을 중첩 표현식에 넣으면 평가 순서가 흐려집니다.
Lambda body하나의 계산으로 의도가 완결되는가
여러 검증·지역 변수
block body
값 반환
모든 경로 return
부수 효과만
void-compatible block
핵심: 단일 계산은 expression, 여러 단계와 지역 이름이 필요하면 block을 씁니다.