Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
asplake
on Dec 31, 2022
|
parent
|
context
|
favorite
| on:
Austral: A systems language with linear types and ...
Is the type/kind Region defined anywhere?
zetalyrae
on Dec 31, 2022
[–]
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
asplake
on Dec 31, 2022
|
parent
[–]
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
on Dec 31, 2022
|
root
|
parent
[–]
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)
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: