[throwawaymaths]

>I have yet to see a project of any size that needs to be worked on by multiple teams and is written in an untyped language not descend into dumpster fire.

Github? Dropbox? I mean they both eventually went to type hints in their respective languages or migrated to a typed language but for a long time I'm certain it wasn't.

[ollien]

It's worth noting of course that ~Github~ Dropbox was the driving force behind mypy

[throwawaymaths]

yes, that is exactly what I meant by "they both eventually went to type hints", but doesn't github use ruby? I think you mean sorbet? Dropbox was the driving force behind mypy (IIRC).

[ollien]

bleh, I meant to say Dropbox.

[RhodesianHunter]

And I can pretty much guarantee you that some form of dumpster, fire or other was the driving factor behind those moves.