[자료]Type System

슬라이드 자료를 보던 중에 type system이 뭔지 몰라서 검색.

http://en.wikipedia.org/wiki/Type_system

즉, 타입시스템은 값(Value)을 타입(Type)으로 연관짓는다. 예를 들어 Java에서 value는 type을 선언하고 그 type에 맞는 값을 할당해야 한다. 그렇지 않으면 컴파일시 에러가 발생한다(Java는 static type system).

왜 몰랐지;