|
|
|
|
|
|
by IshKebab
2748 days ago
|
|
|
Yes. But the point is that you don't have to "dumb down" your program to prove to a static analyser that it is correct. Look at the kind of programs that NLL now allows. You wouldn't have to jump through those hoops in another language. |
|
|