What is the relation between types and runtime values?

Type Theory

New · 0d
question
What is the relation between types and runtime values?
Hint
© 2026 Scrambled Kitchen·GitHub