Vale language popped up in the Rust syntax thread comments, prompting a quick look. Personally find the GR(+) approach interesting and a refreshing new (simple!

Vale language popped up in the Rust syntax thread comments, prompting a quick look. Personally find the GR(+) approach interesting and a refreshing new (simple!) take on memory safety. Definitely worth a look. [p.s. just found this discussion from a year ago: https://news.ycombinator.com/item?id=25160202 https://news.ycombinator.com/item?id=25160202] [p.s.s. Prior art: http://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf http://www.cs.umd.edu/projects/cyclone/papers/cyclone-region...]