3 ms·

Is the type/kind Region defined anywhere?

• zetalyrae 4y ago
  The post was already fairly long for an explanation and I didn't want to weigh it down further. The type system is described in more detail here: https://austral-lang.org/spec/spec.html#type-universes https://austral-lang.org/spec/spec.html#type-universes
  • asplake 4y ago
    Thanks. Actually I read that one too. Several mentions of Region but not really a definition that i could find. Not that it’s a big deal, just curious. I infer some similarity with Rust’a lifetimes but I’m a bit hazy on those
    • zetalyrae 4y ago
      Yes, it's analogous to Rust lifetimes. The term is somewhat older, I think I borrowed it from Cyclone: https://en.wikipedia.org/wiki/Cyclone_(programming_language) https://en.wikipedia.org/wiki/Cyclone_(programming_language)