Question

I’m using type safety to sanitize strings, but I would like more uses articulated.

Answer 1

The Yesod web framework has several great examples of how type safety can be used to great benefit in real world code.

• Type-safe URLs prevent links on your site from getting broken, as changing or removing a route without updating the templates where it is used will result in a compile-time error.
• Using separate data types for HTML prevents a lot of common XSS vulnerabilities by ensuring that failing to sanitize user input is a type error.
• Their approach to type safe localization avoids many common issues with translating to languages with different word orders, different pluralization rules and so on, and again the compiler can warn you if a message lacks a translation.