Rust is not the final evolution of programming languages. But it did do something great: "introduced using the type system to enforce rules on resource usage into the mainstream." I was just thinking about how linear types might help with this the other day, so I am pleasantly surprised to see a new project like Austral making it a reality.
https://blog.lambdaclass.com/austral/
Login to reply