Hacker News new | ask | show | jobs
by ollien 1165 days ago
It's worth noting of course that ~Github~ Dropbox was the driving force behind mypy
1 comments
throwawaymaths 1165 days ago
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).
link
ollien 1165 days ago
bleh, I meant to say Dropbox.
link