● 형식 연역? type deduction??

※ 지극히 개인적인 일상 메모와 기록을 위한 곳입니다.

프로그래머가 형식을 명시적으로 지정하지 않은 코드 요소(주로 변수)의 형식을 컴파일러가 초기치에 근거해서 결정하는 것을 흔히 type inference라고 부릅니다. inference는 흔히 추론이라고 번역하지만, 문맥에 따라서는 ‘추리’라고도 합니다(예를 들어 제 번역서 인공지능: 현대적 접근방식에서는 추론을 inference보다 좀 더 포괄적인 reasoning에게 양보하고, inference는 ‘추리’로 번역했습니다)1.

그런데 Effective Modern C++에서 저자 스콧 마이어스(SM)는 일관되게 type deduction, 즉 ‘형식 연역’이라는 용어를 사용합니다. 번역서 p.27이나 p.45를 보면 알 수 있지만, SM이 애초에 형식 추론이라는 용어를 몰랐던 것은 아닙니다. 특히, p.45를 보면 type inference가 프로그래밍 세계에서 “흔히 쓰인다”는 점도 알고 있음을 확인할 수 있습니다.   

계속 보기 => https://occamsrazr.net/tt/311