Typescript has types, but it's the same terrible language underneath.