타입 시스템

1 개요[ | ]

type system
타입 시스템, 형 체계, 자료형 체계
  • 값, 표현식, 함수, 모듈 등을 분류하는 규칙의 집합
  • 계산될 값을 분류하여 특정한 종류의 프로그램 오류가 일어나지 않음을 증명하는 계산 가능한 방법

2 같이 보기[ | ]

3 참고[ | ]

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}