[solomonb]

This is such a tired take. The burden of using static types is incredibly minimal and makes it drastically simpler to redesign your program around changing business requirements while maintaining confidence in program behavior.

[danieltanfh95]

People keep saying this and yet in the decades of my career the industry bounces between being fully dynamic and fully typed according to the affordability of senior engineers. What you are saying are covered by tests, not types.

[yakshaving_jgt]

> What you are saying are covered by tests, not types.

You know Haskell programmers write tests, right?