undefined | Better HN

0 pointsskybrian11mo ago0 comments

Yes, but I’m not hoping for that. I’m hoping for something like a scripting language with simpler lifetime annotations. Is Rust going to be the last popular language to be invented that explores that space? I hope not.

0 comments

hyperbrainer11mo ago

I was quite impressed with Austral[0], which used Linear Types and avoids the whole Rust-like implementation in favour of a more easily understandable system, albeit slightly more verbose.

[0]https://borretti.me/article/introducing-austral

renox11mo ago

Austra's concept are interesting but the introduction doesn't show how to handle correctly errors in this language..

hyperbrainer11mo ago

Austral's specification is one of the most beautiful and well-written pieces of documentation I have ever found. It's section on error handling in Austral[0] cover everything from rationale and alternatives to concrete examples of how exceptions should be handled in conjunction with linear types.

https://austral-lang.org/spec/spec.html#rationale-errors

Ygg211mo ago

> Is Rust going to be the last popular language to be invented that explores that space? I hope not.

Seeing how most people hate the lifetime annotations, yes. For the foreseeable future.

People want unlimited freedom. Unlimited freedom rhymes with unlimited footguns.

xmorse11mo ago

There is Mojo and Vale (which was created by a now Mojo core contributor)

Philpax11mo ago

You may be interested in https://dada-lang.org/, which is not ready for public consumption, but is a language by one of Rust's designers that aims to be higher-level while still keeping much of the goodness from Rust.

skybrianOP11mo ago

The first and last blog post was in 2021. Looks like it’s still active on Github, though?

j / k navigate · click thread line to collapse

0 comments

hyperbrainer11mo ago

I was quite impressed with Austral[0], which used Linear Types and avoids the whole Rust-like implementation in favour of a more easily understandable system, albeit slightly more verbose.

[0]https://borretti.me/article/introducing-austral

renox11mo ago

Austra's concept are interesting but the introduction doesn't show how to handle correctly errors in this language..

hyperbrainer11mo ago

https://austral-lang.org/spec/spec.html#rationale-errors

Ygg211mo ago

> Is Rust going to be the last popular language to be invented that explores that space? I hope not.

Seeing how most people hate the lifetime annotations, yes. For the foreseeable future.

People want unlimited freedom. Unlimited freedom rhymes with unlimited footguns.

xmorse11mo ago

There is Mojo and Vale (which was created by a now Mojo core contributor)

Philpax11mo ago

skybrianOP11mo ago

The first and last blog post was in 2021. Looks like it’s still active on Github, though?

j / k navigate · click thread line to collapse