← Back to context

Comment by uecker

3 days ago

Writing without errors using other languages also doesn't work. And if you go towards formal verification (which also does not completely avoid errors), C has good tools.

By using a better language you have no errors typical for C which usually require debugging. Logical errors may still happen, but they are easy to identify without even running a debugger.

  • For your comments I get that you drank the Kool Aid, but I see no argument.