Type System

A type system is in place, but it is complicated … at least with respect to built-in datatypes like integers and floating point numbers

  • signed and unsigned variants

  • long and short variants

  • Signedness of char is machine dependent (i.e. undefined)

  • Implicit type conversions

  • Sign propagation

  • … and lots more …

  • ⟶ it is very important to understand how and why

  • … and to be defensive!