I don't have written much TS but the author's experience is exactly what I felt while writing TS. The bolted on "gradual" type system makes typing harden then e

I don't have written much TS but the author's experience is exactly what I felt while writing TS. The bolted on "gradual" type system makes typing harden then even dependently typed languages I have used. I honestly believe TS has done irrecoverable damage to the perception of types to millions of web developers.