Typescript certainly not. In a first programming language I would prefer a type system that goes as far out of your way as possible. Python and Javascript do t

Typescript certainly not. In a first programming language I would prefer a type system that goes as far out of your way as possible. Python and Javascript do that, to an extend. You don't see the types in the code, and 99% of the time it's ok to have a vague notion of what value is what type. Especially for limited domains. Of course TypeScript can be used without any annotation or checking. But strict TypeScript, Dart, C# and Java are impossible to use without a lot of head space devoted to the formal type system. I consider myself an experienced programmer, but TypeScript gives me headaches sometimes, especially if I try to be explicit about type annotations.