A Primer on Type Systems
I really liked this brief overview of type systems overall, but I especially liked that the author took the effort to move away from the terms &quot;strongly typed&quot; and &quot;weakly typed&quot;. Too often these terms cause confusion. Even worse is when people confuse them for &quot;statically typed&quot; and &quot;dynamically typed&quot; (respectively), leading to people making claims like &quot;Python is weakly typed&quot; and &quot;C is strongly typed&quot; (which, depending on your definitions, are not true statements).<p>This material wasn&#x27;t covered in my core curriculum for my CS degrees, which I think is a shame. Some students might find this stuff interesting, and I think introducing it to undergrads at least a little bit and saying &quot;By the way, this is a thing you can research&quot; could help some students with breaking into the academic side of CS.