// 위아래 same?
type_error 를 최소화하거나 막는
compile time에 타입이 검사된다면 static type checking 언어.
runtime에 타입이 검사된다면 dynamic type checking 언어.
MKLINK
자동형변환/자동형전환/coercion
QQQ weak일때는 이게 무난하고 (대신 알 수 없는(silent한) 버그가 생길 수 있고) strong일때는 이게 까다로운 것?
type_arithmetic =,type_arithmetic . type_arithmetic
타입체계,type_system =타입체계,type_system =,type_system . type_system 타입체계
{
타입시스템 타입체계 .... 중 TBD. -> 타입체계 가 가장 무난한 듯
다른 번역들:
자료형 체계
형 체계
....
contrast with: structural_type_system "s, where comparisons are based on the structure of the types in question and do not require explicit declarations."
structural_type_system
}
unified type system
pure_type_system
{
classical pure type systems (CPTS)
modal pure type systems (MPTS)
type_system_design =,type_system_design . type_system_design
{
타입 시스템 설계
type system design
}
Twin:
type_signature (= type_annotation (wpen)) =,type_signature . type_signature
{
type signature
Twin
type_class =,type_class . type_class | =,typeclass typeclass
{
type class
AKA
typeclass (via
typeclass )
타입족 ?
subtype and supertype
{
dependent type
/// -typing
weak_typing =,weak_typing =,weak_typing . weak_typing
{
weak typing
strong_typing =,strong_typing =,strong_typing . strong_typing
{
strong typing