매니페스트 타이핑
Manifest typing |
| 유형 시스템 |
|---|
| 일반적인 개념 |
| 주요 카테고리 |
| 마이너 카테고리 |
컴퓨터 과학에서 매니페스트 타이핑은 선언되는 각 변수의 유형을 소프트웨어 프로그래머가 명시적으로 식별하는 것입니다.예를 들어 변수 X가 정수를 저장하는 경우 변수 X의 유형을 정수로 선언해야 합니다."매니페스트 타이핑"이라는 용어는 종종 객체의 정적 컴파일 시간 유형 멤버쉽과 런타임 유형 ID 간의 차이를 설명하기 위해 잠재 유형이라는 용어와 함께 사용됩니다.
이와는 대조적으로 일부 프로그래밍 언어는 컴파일 시 컨텍스트에서 유형을 추론하거나 변수가 선언되어 런타임에 임의의 유형의 값을 할당할 수 있는 동적 유형을 허용하는 암묵적 유형(일명 유형 추론)을 사용합니다.
예
다음 예시는 C 프로그래밍 언어로 기술되어 있습니다.
#실패하다 <stdio.h> 인트 주된(무효) { 차 s[] = "테스트 문자열"; 흘러가다 x = 0.0; 인트 y = 0; 인쇄물(안녕, 월드!\n"); 돌아가다 0; } 변수 s, x 및 y는 각각 문자 배열, 부동 소수점 번호 및 정수로 선언되었습니다.타입 시스템은 컴파일 시 s와 x를 추가하려고 하는 오류를 거부합니다.
반면 표준 ML에서는 유형을 명시적으로 선언할 필요가 없습니다.대신 유형은 할당된 식의 유형에 따라 결정됩니다.
허락하다 값 s = "테스트 문자열" 값 x = 0.0 값 y = 0 에 인쇄물 안녕, 월드!\n" 끝. 이 프로그램에는 매니페스트 유형이 없지만 컴파일러는 여전히 유형을 입력합니다.string,real그리고.int그들을 위해, 그리고 그 표현은 거절할 것이다.s+x컴파일 시 오류로 표시됩니다.
