6 ms·
Microsoft Research, though it has a reputation for coming up with great ideas that somehow never end-up in a shipping Microsoft product.
by DaiPlusPlus 3y ago
Microsoft Research, though it has a reputation for coming up with great ideas that somehow never end-up in a shipping Microsoft product.
- user_7832 3y agoThanks, I've found some of their design guidelines have legitimately changing my worldview (eg situational disabilities).
- esafak 3y agoFor some that's a plus!
- DaiPlusPlus 3y agoFor me a negative: If I remember correctly, MSR worked on a practical implementation of Code-Contracts for C# which incorporated the (all-important) compile-time verification of method preconditions, postconditions, and class invariants (without the need for hand-written refinement-types, which is how we do things today): as I understand it, the 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-trace-profile/code-contracts 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 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).
- esafak 3y agoIsn't that replacement called F#?
- DaiPlusPlus 3y agoNo.
- nextos 3y agoIt's more like the predecessor to Dafny, which is still research-oriented.