번역 용례:

영어 전공 단어를 한글로 번역한 예들입니다. 좋은 예들을 등록해 주십시요.
프로그래밍 언어 및 프로그래밍 시스템 분야입니다.
등록된 예들은 email을 통해 전문가의 심사를 거쳐서 이곳에 남게됩니다.
추가할 단어나 찾고 싶은 단어를 넣으세요.
우리분야의 한글용어
영어강의, 성균관, 패러데이(JPG, PDF) (서울대 대학신문 [관악시평], 3/21/2011)
우리말 논문쓰기의 원칙
공부의 언어 (제4회 ROSAEC 센터 워크샵, 8/27/2010)

[타입]

  번역     출처     비고  
  type constructor          
  type          

추가

영어 단어: -- 여러 단어가 있을 경우 하나만 입력하세요.
출처: -- 예) saseo, nML 참고서 p20
비고: -- 번역 예나, 이 번역이 좋은 이유.
부주의 검사: -- (f(92) - f(92) + (팔 + 이) * 93 / 93) 의 답

리스트

[한글로 정렬] [ a d f h i p s t u v ]

abstract type추상적인 타입, 속내용이 감추어진 타입, 구현된 속사정이 감추어진 타입
data description데이타 타입 접속방안
free type name묶이지 않은 타입 이름
functor signature instantiation모듈함수 타입의 실현
higher-order and typed고차 타입을 갖춘
instantiation모듈함수 타입의 실현
polymorphic여러 타입을 가지는
polymorphic function인자 타입에 상관없는 함수
polymorphic type다형 타입
principal type가장 일반적인 타입, 대표 타입
scheme타입 틀
signature모듈타입
signature bind모듈타입 정의
simple type단순 타입
static type synthesis타입 유추
type타입
type abbreviation타입 줄임말
type bind타입 정의
type construct타입식
type constructor타입 구성자, 타입
type description타입 접속방안
type expression타입식
type inference타입 유추
type realization타입 실현
type scheme타입 틀
type scheme generalization타입 틀의 적응
type structure타입 구조
type structure enrichment타입 구조의 적응
type system타입 체계
type variable타입 변수
typing rule타입 규칙, 타입만들기 규칙
unification타입을 같게 하는
value type enrichment값 타입의 적응