12 ms·
C#'s null safety is not sound. There are situations where even a fully annotated program without reflection, code generation, unsafe or other tricks will crash
by paavohtl 4y ago
C#'s null safety is not sound. There are situations where even a fully annotated program without reflection, code generation, unsafe or other tricks will crash of a null pointer exception:
https://docs.microsoft.com/en-us/dotnet/csharp/nullable-references#known-pitfalls https://docs.microsoft.com/en-us/dotnet/csharp/nullable-refe...
- kaba0 4y agoI’m not familiar with C#, so I probably should not have included it. But Kotlin, Scala 3 (with a compiler flag) and even Java with static analysis should be sound, if I’m not mistaken.