관찰 가능한 결과
total=16 / label=high
연산자 우선순위와 표현식 분해의 성공과 실패 증거
중간 변수 adjusted와 total이 각 계산 단계의 타입과 의미를 검증할 지점을 제공합니다.
왜 실패하는가
중간 변수 adjusted와 total이 각 계산 단계의 타입과 의미를 검증할 지점을 제공합니다.
코드에 남길 계약
우선순위 지식은 복잡한 식을 유지하기보다 어디에서 괄호를 쓰거나 식을 나눌지 판단하는 데 사용해야 합니다.
관찰 증거 우선순위 지식은 복잡한 식을 유지하기보다 어디에서 괄호를 쓰거나 식을 나눌지 판단하는 데 사용해야 합니다.