I love Anders work, but TypeScript seems to have gone too far in type system experiment.

Configuring the compiler is now as complicated as selecting the right set of GHC compiler pragmas to successfully compile the code, and they are anyway type annotations that have zero impact in code performance, just a friendly than using JsDoc.

I look forward to when browsers just adopt WebIDL and be done with it.