Why should language design go hand in hand with type system design?

Type Theory

New · 0d
question
Why should language design go hand in hand with type system design?
Hint
© 2026 Scrambled Kitchen·GitHub