번역 용례

번역 용례:

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

번역	출처	비고
type constructor
type

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