re: Thank you TypeScript! VIEW POST


It is hard to explain, but I feel like TypeScript makes me think more about types and any other programming language.

Agree with this feeling, I get it when dealing with statically-typed programs. It's a little hard to explain, but your mind starts to think in a set of logical pathways through the code, like a type-checker, instead of like the value-level reasoning it normally does.

Hillel Wayne has said this about TLA+ too (he wrote a book called Practical TLA+), that he can look at an algorithm and the concurrency bugs in it leap out at him.

I think it's something like the Sapir-Whorf hypothesis, where your language determines your thought patterns.

code of conduct - report abuse