Morning Scottsdale rant: types are real.

Please teach all these static heads that dynamic typing is still typing! They pretend like only Rust has types and Python doesn’t. Totally wrong!

Get $10-$300 instantly* with no interest, late fees or credit checks

This rant is in response to rage bait but great explanation nonetheless

I do feel checking types via tests is the best shift-left place to do this.

Assembly has types? Hmmmmm

Sure. There are the intrinsic types, such as machine words. But, irrespective of language, every program has types.

Get em Uncle Bob

typescript doesn't have a runtime

Types have an analogous "existence" to energy. There's nothing you can point to in the real world that's energy. No essence, no magical glowy fluid. Energy "exists" merely as a constraint for what states are accessible from other states. Types melt away, but constraints remain.