[jldugger]

> Almost all the benefits of static typing added to dynamic languages can be achieved by a better and smarter IDE.

That does what? Typecheck things? You'd probably want a tool or library to do that, so it's pretty fortunate that Stripe bothered to provide those to us.

> We keep changing and rewriting while thinking we're doing it 'the right way' now..

Humanity has yet to rescue type inference from the forges fire on Mount Olympus. After Milner tricked Hindley in a lunchtime debate about tabs versus spaces and code quality, Hindley punished us mere mortals by placing type inference in the fires of heavily recursive forges mortals dare not touch.