ts 수학

타입 개념은 컴퓨터가 발명 도 전에 수학적 개념으로 존재 

 

 

타입이란 
어떤 심볼(symbol 변수명) 에 엮인 (binded) 메모리 공간에 존재할수 있는 값(value) 의 집합과 그 값들이 가질 수 있는 성질 

타입은 부분 순서 집합 

포함하거나 서브 타입 이거나 무관계 이거나 

https://youtu.be/xesy1i67OWI?si=PBbsLYsaLqUycYUS