News for hackers. Stuff that matters.

A comment on How the Boeing 737 Max disaster looks to a software Developer. Parent comment

Re:How the Boeing 737 Max disaster looks to a software Devel... by crimsonalucard on Tuesday April 23, 2019 @12:04PM (#19729908)
In a type checked language. Your software is guaranteed to have no type errors. How hard was that?
[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by zestyping on Tuesday April 23, 2019 @03:35PM (#19732074)
That's a great example! It illustrates the point in a better way than I tried to.

A necessary part of why types are so useful is that understanding the types is easier than understanding the code itself.

If the types become so complex that they start to get harder to understand than reading your code (e.g. C++ template errors can sometimes get this bad), then they are no longer helpful.

[ Parent | on HN ]