Type System
[Data Structure](https://texonom.com/data-structure-8985d3b7b24c406abf54bbe1f644d510) 


### Type System Notion
|Title|
|:-:|
|[Type Covariance](https://texonom.com/type-covariance-b096a5a4fdda4c42a01a155a80951a35)|
|[Contravariance](https://texonom.com/contravariance-a34a2b311ca34f229a2814095455953e)|
|[Bivariance](https://texonom.com/bivariance-23f6c2bc5c95466b9c6b0c8ab23b10e4)|
|[Invariance](https://texonom.com/invariance-d3ff735997ad4ec082c35fb191b5af47)|
|[Abstract data type](https://texonom.com/abstract-data-type-61be1a2fcbb34ac6995ad50f3b7271c1)|


### Type System Usages
|Title|
|:-:|
|[Type Enforcement](https://texonom.com/type-enforcement-13b2714756e148f686501635822f9548)|
|[Type Error](https://texonom.com/type-error-44d18715d2a342b396ff225816c43b89)|
|[Type Casting](https://texonom.com/type-casting-06c3b4a8423d4722a5f358d9364312ee)|
|[Type Safety](https://texonom.com/type-safety-69efde343f8b4c6a9351691900b297fa)|
|[Language interoperability](https://texonom.com/language-interoperability-0c85b98bb9b64483b2b02b017d70ee2b)|

‘


> [Type system - Wikipedia](https://en.wikipedia.org/wiki/Type_system)

> [타입스크립트에서 객체를 "더 안전하게" 순회하는 방법 (feat: 무공변성)](https://younho9.dev/how-to-iterate-object-more-safely)





