3 ms·

No programming language tells you if a program is correct at compile time. Type errors aren't a very common type of bug either.

• danpla 4y ago
  As I know, SPARK can do this (in particular, thanks to the strong type system). https://learn.adacore.com/courses/intro-to-spark/chapters/01_Overview.html https://learn.adacore.com/courses/intro-to-spark/chapters/01...
• kayodelycaon 4y ago
  The most common type error I see are unexpected null values. Which, surprise, is still a problem in many typed languages. :)
• bobbylarrybobby 4y ago
  “No programming language tells you if a program is correct at compile time” is technically true, but my experience is that about 99% of the refactors I do in rust, no matter how large, go back to working correctly as soon as the code compiles again. I don't think anything like this is possible in a language like python.
  • necovek 4y ago
    That's true, but mostly because one rarely compiles Python. I've done significant refactors in untyped Python without much ado: as soon as your tests pass, code works too. I've done significant changes with tests passing on the first go.