38% of bugs at Airbnb could have been prevented by using types

Re:38% of bugs at Airbnb could have been prevented by using ... by melling on Sunday February 10, 2019 @10:33PM (#19131856)

Haskell has the reputation that if it compiles, it works.

Whether it’s true or not, it would be interesting to consider languages in their ability to produce correct code more quickly.

While I don’t like the idea of writing 3x the amount of code, if one implementation is only 30% longer, for example, and is more likely correct on the first run, it’s still a huge productivity improvement.

[ Parent | on HN ]

Re:38% of bugs at Airbnb could have been prevented by using ... by skohan on Monday February 11, 2019 @10:59AM (#19135359)

This is my experience with statically typed languages. It may be a bit more verbose in the implementation, but it takes much less time to reach a correct solution.

I find that whatever "savings" there are in terms of code volume in dynamically typed languages is usually more than made up for in the need for more tests.

[ Parent | on HN ]