I have also thought a lot about Austral lately. I have very similar conclusions as the OP.
I love the simpleness of the language. I work with a kinda high performance networking (DPDK use) as my day job so we work in C and while I love C quite a lot for its simpleness and clarity, it is so easy to do something wrong. Linear types seems perfect for helping to keep a track on ownership of pointers and make sure that everything is handled properly while still keeping the simpleness. I don't mind having to by hand write some destructor if someone helps me make sure they are called correctly - I probably prefer that for clarity. And it also seems easier to exaplin to someone: "Here is this type, if this type gets unhandled at the end of this function the compiler gets angry. Instead you have to call this function that you can clearly see by the types returns the Unit/a free type". (borrowing adds a bit more to that but still quite clear imo)
I like Rust for what it did to the space and I respect all the people working with it but it isn't THE solution and I am happy other things are entering the arena that caters a bit more to my preferred aesthetics I guess.
I have started coding some small networking things in Austral personally to get a feel about. Will see where it goes.
I love the simpleness of the language. I work with a kinda high performance networking (DPDK use) as my day job so we work in C and while I love C quite a lot for its simpleness and clarity, it is so easy to do something wrong. Linear types seems perfect for helping to keep a track on ownership of pointers and make sure that everything is handled properly while still keeping the simpleness. I don't mind having to by hand write some destructor if someone helps me make sure they are called correctly - I probably prefer that for clarity. And it also seems easier to exaplin to someone: "Here is this type, if this type gets unhandled at the end of this function the compiler gets angry. Instead you have to call this function that you can clearly see by the types returns the Unit/a free type". (borrowing adds a bit more to that but still quite clear imo)
I like Rust for what it did to the space and I respect all the people working with it but it isn't THE solution and I am happy other things are entering the arena that caters a bit more to my preferred aesthetics I guess.
I have started coding some small networking things in Austral personally to get a feel about. Will see where it goes.