Programming languages enthusiast. Author of Learn Type Driven Development: https://www.packtpub.com/application-development/learn-type-driven-development
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.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
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.