4 ms·

GATs are completely unrelated to GADTs.

• pjmlp 4y ago
  From my point of view they look quite similar from language type theory point of view, plus the machinery for affine types.
  • Rusky 4y ago
    The only thing similar about them is the acronym: GATs are generic type aliases which are defined inside traits. GADTs are generic sum types with extra constraints on which variants may be used with which type arguments. There is no reasonable way in which they are "quite similar," nor do either of them have anything at all to do with affine types.
    • pjmlp 4y ago
      Where is the type theory for Rust's GATs for us to educate ourselves?
      • Rusky 4y ago
        The RFC might be a good place to start: https://rust-lang.github.io/rfcs/1598-generic_associated_types.html https://rust-lang.github.io/rfcs/1598-generic_associated_typ...
        • pjmlp 4y ago
          Thanks.