Many of us consider static type systems to not very useful (and glad that Clojure doesn't require one)... however, having said that, someone did finally manage to make a static type system do something useful: https://www.youtube.com/watch?v=0mCsluv5FXA • 177 TB of TypeScript type definitions • Running for 12 days • Renders one frame of Doom.