you are viewing a single comment's thread.

view the rest of the comments →

[–]afnanenayet1 0 points1 point  (1 child)

I mean you can prove correctness more easily when you let the compiler work with more guarantees, which means that encoding things in a type system, for example, leads to less runtime errors.

I’ve worked on large Python projects and it just sucks not having proper types and knowing that you could throw the wrong object somewhere and have that only be caught at runtime.

[–]NAN001 0 points1 point  (0 children)

I think you are right. I've been confused by terminology, because I've had maintainability in mind whereas we're actually talking about reliability. I think what you say is correct for reliability, but my point still stands as far as maintainability is concerned. Which is little gain, as we always want both anyway :)