번역 용례

번역 용례:

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

번역	출처	비고
type constructor
type

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	값 타입의 적응