1. 17
    Six Points About Type Safety compsci tel.github.io
    tel avatar via tel 4 years ago | cached | 1 comment

  1.  

  2. 4
    ika avatar ika 4 years ago | link

    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