전산학에서 형 체제(Type system)은 프로그래밍 언어가 값과 식을 조작하고 상호작용하기 위해서 어떤 방식으로 형을 분류하느냐 따라 결정된다. 형은 일반적인 의미와 의도한 용도에 의해 묶인다. 추상화된 형과 함수 형 등의 형은 컴퓨터 프로그램의 실행 모습을 닮지 않는 경우도 있다. 형 체제는 컴파일시간의 문맥과 실행시간의 명령 구현의 다양함 때문에 언어마다 많은 차이를 보인다.
분류: 컴퓨터 토막글 | 자료 형 | 프로그래밍 언어 구현 | 형 이론 | 컴파일러