- Examples of real-world haskell usage where correctness is important (not just type-safety) http://programmers.stackexchange.com/questions/305478/using-a-strong-type-system-in-the-real-world-say-for-large-scale-web-apps 32 comments haskell
- Why Type Safety is Important https://www.shuttle.rs/blog/2023/11/29/type-safety 51 comments programming