Why I Like Types

Beyond compiler checks

Programming languages are just interfaces to the computer and types provide a way to improve that interface.

How types make the language work for you:

• Restrict input
• Enrich data
• Strengthen guarantees
• Better define interfaces
• Improve error handles

Maybe more to come later.