[smohare]

Having inherited some large python code bases before type annotations were common made me never want to personally read through highly-typed inferenced code again.

It reminded me of a mathematician in my field who had rather brilliant ideas, but whose papers were largely unreadable due to idiosyncratic symbology and style. Fortunately in that case one can still leverage an information dense symbology that points to a well-specified formalism.