Our great sponsors
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
compile-time part of system could support any assertion represented as a pure-function - think of it as C#'s take on Ada's assertions, improved tenfold, and it even shipped for a now-unsupported older version of C# and .NET: https://learn.microsoft.com/en-us/dotnet/framework/debug-tra...
...and it was axed in .NET Core back in 2016 and hasn't been seen since: https://github.com/microsoft/CodeContracts/issues/409
Had Microsoft put more backing behind it, then C# could present itself as a language to supplant Ada in safety-critical applications, and replace C/C++ in other applications.
I have hope the feature will come back one-day - there are whole slews of bugs that can be eliminated (such as when passing EF entity types around with unintentionally null member-properties).
Related posts
-
Roslynator VS Metalama - a user suggested alternative
2 projects | 7 Dec 2023
- Lean4 helped Terence Tao discover a small bug in his recent paper
- Problem with *.csproj and *.nuspec file to include static files into a nuget package
- what do you find most frustrating about dotnet?
- .NET 8 is on the way! +10 Features that will blow your mindÂ đŸ¤¯