형 체제

위키백과 ― 우리 모두의 백과사전.

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

이 문서는 컴퓨터에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.
다른 언어