new language alignment chart: semantic static types, mechanical static types, dynamic types vs. designed for strong types, weak types, accidentally strongly typed
Rust is semantic/designed, C is mechanical/weak, Python is dynamic/designed, and Lua is dynamic/accidental
@tindall what happens if a language basically only has one type? Stuff like shell scripting, I guess you could say it's mechanical/weak?
@refi64 yeah! Although bash does have numerical types, they just can't be stored
@refi64@refi64.com
@tindall oh that's true, guessing you're referring to stuff like numeric comparisons ("there is more than one type but you can't really use it directly" is the most cursed yet fittingly shell-script thing ever tbh)
