"Parse, don't validate" and other type safety driven shenanigans (plus a C# wishlist)

Making use of the type system is something I feel should be important when working in a strongly typed language like C#. However, I don’t feel like that’s the case, and I would love for the language to push folks in the direction of creating more robust programs, where the compiler provides more help in proving the correctness of the code.

August 17, 2023 · 15 min · 3111 words · João Antunes