3 ms·
>There's no mathematical way for it to know that you won't modify That's an overstatement. That's currently impossible in C#, but Microsoft is working on it in
by antisemiotic 7y ago
>There's no mathematical way for it to know that you won't modify
That's an overstatement. That's currently impossible in C#, but Microsoft is working on it in F*: https://www.fstar-lang.org https://www.fstar-lang.org I hope some of that will trickle down to F# and C# some day.