1. 17
  1.  

  2. 4

    Now this is a clear and well written article about typing!

    Regarding this part:

    It ensures that the static semantics of the language are linked to the dynamic semantics.

    I posted some details about that how exactly that is done here: https://lobste.rs/s/sxi4vp/what_is_type_safety/comments/lurh2m#c_lurh2m