The #Aela proving language seems very cool, but you have to request access to try out the compiler? Weird choice.
I look forward to its #OpenSource release. As a #Rust developer I can see this has got some serious smarts and simplifications around memory management, without sacrificing any of those guarantees.
"Explicit lifetime annotations are a significant source of complexity and syntactic noise. The compiler must be smart enough to infer ownership duration without burdening the programmer." 馃憟馃徎馃挴
