Omar Rizwan
.
@omar,
my aesthetic problem with TypeScript was always that it doesn't actually let you do anything new, almost by definition -- it lets you do increasingly specific correctness checks (if you can figure out how to encode them), but your program will never get any shorter or more expressive
Omar Rizwan
.
@omar,
paradigm shift from 'the type system is there to let the compiler compile stuff' (so it can know that a variable is a 16-bit integer and needs that much space, etc) to 'the type system is there to help the programmer' (it's like a very advanced linter, has nothing to do with compilation or execution)