Folder: 02-Programming-Languages-and-Paradigms/01-Type-Systems/02-Sub-Concept

Feb 10, 2026

• type-systems
• type-classes
• ad-hoc

Feb 10, 2026

• type-systems
• generics
• bounds

Feb 10, 2026

• type-systems
• type-inference
• bidirectional

Feb 10, 2026

• type-systems
• type-inference
• full

Feb 10, 2026

• type-systems
• weak
• coercion

Feb 10, 2026

• type-systems
• nominal
• name

Feb 10, 2026

• type-systems
• strong
• coercion

Feb 10, 2026

• type-systems
• gradual
• annotations

Feb 10, 2026

• type-systems
• adt
• product-types
• structs
• tuples

Feb 10, 2026

• type-systems
• structural
• shape

Feb 10, 2026

• type-systems
• adt
• sum-types
• tagged-unions

Feb 10, 2026

• type-systems
• generics
• type-parameters

Feb 10, 2026

• type-systems
• static
• compile-time

Feb 10, 2026

• type-systems
• dynamic
• runtime

Feb 10, 2026

• type-systems
• dependent-types
• values

Feb 10, 2026

• type-systems
• higher-kinded
• type-constructors

Feb 10, 2026

• type-systems
• refinement-types
• predicates

Feb 10, 2026

• type-systems
• phantom-types
• safety

Feb 10, 2026

• type-systems
• type-inference
• var
• auto

Feb 10, 2026

• type-systems
• generics
• variance
• covariance
• contravariance