The #Aela proving language seems very cool, but you have to request access to try out the compiler? Weird choice.

https://stablestate.cc/aela/

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." 👈🏻💯

The #Aela proving language seems very cool, but you have to request access to try out the compiler? Weird choice.

https://stablestate.cc/aela/

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." 👈🏻💯