유형 변수

유형 이론과 프로그래밍 언어에서 유형 변수는 유형 전체에 걸친 수학적 변수다. 변이 가능한 변수를 허용하는 프로그래밍 언어에서도 형식 변수는 일부 메모리 위치와 일치하지 않는다는 점에서 추상화 상태로 남아 있다.

파라메트릭 다형성을 지원하는 프로그래밍 언어는 보편적으로 정량화된 유형 변수를 사용한다. 실존적 유형을 지원하는 언어는 실존적으로 계량화된 유형 변수를 사용한다. 예를 들어, 다음의 OCaml 코드는 보편적으로 정량화된 타입을 갖는 다형식 아이덴티티 함수를 정의하는데, 이 함수는 두 번째 라인에 있는 통역자에 의해 인쇄된다.

# 하게 하다 id x = x;; 발랄하게 하다 id : 'a -> 'a = <재미있다> 

수학적 표기법에서 함수의 유형 id ${\displaystyle a}$은(는) 형식 변수인$$【\$displaystyle \forall a.a\to a}$이다$.$

참고 항목

• 시스템 F

${\displaystyle \Gamma \vdash x:{\text{int}}$

이 프로그래밍 언어 이론이나 유형 이론 관련 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t