Comment by theLiminator

4 days ago

If anything I think discipline and rigor will go up.

I think it will force us to adopt stronger type systems, formal methods, and more automated verification.