1. 20

  2. 8

    Notably, this release includes uniqueness types which are super cool and very useful. Essentially, you can guarantee at compile time that an object is only ever interacted with by one thing at a time, which is very useful for things like systems programming.

    1. 5

      Uniqueness types are a kind of trivial linear type, “linear types” being the keyword for anybody wanting to learn more.

      Haskell code solves similar problems typically with type indexing (phantom types, GADTs, etc.)