Typescript is brilliant and should be carefully studied by anybody introducing a type system to a single typed ("untyped") language.