FWIW cyclone also had unique pointers. I don't know if explicit regions help very much with safety, but you can certainly go places with a more expressive type

FWIW cyclone also had unique pointers. I don't know if explicit regions help very much with safety, but you can certainly go places with a more expressive type language. E.G. ats - http://www.ats-lang.org/ http://www.ats-lang.org/