프로그래밍언어론 질문드립니다

Type은 자료의 type이죠.

컴퓨터 내부에서 모든 자료는 그냥 비트들의 반복입니다. 0 아니면 1이 계속 반복되죠. 이게 그림인지 글자인지 숫자인지 컴퓨터는 모릅니다. 그게 뭐지 알려주는 정보가 type이에요.

그럼 왜 할까요?

가령 a+b를 계산하는데 a에는 자동차를 넣고 b에는 40을 넣어 봅니다. 이런건 일반적으로 잘 정의되지 않으므로 에러를 내보내겠죠. 에러가 나기 전에 미리 알려면 a에 들어간 자료가 숫자인지 아닌지, +가 정의되어 있는지 아닌지 살펴봐야 합니다. b에 대해서도 마찬가지고요.

어떤 변수의 type은 그 변수가 살아있는 동안 운영체제의 별도 저장소에 또는 컴파일러의 임시 변수에 기록되어 있습니다. 그걸 컴파일 시점에 보든 실행시점에 보든, 어쨌든 계산하기 전에 한번 그 저장소를 보고 사용하려는 변수가 어떤 type인지 알아내겠죠.

더 자세한건 직접 검색해서 공부해보세요.