Skip to content
Hallway
0:00 / 0:00

#effectsystem#rust#async

RustConf 2023 - Extending Rust's Effect System

Rust Programming Language

70K subscribers • 72 videos on Hallway • Conference channel

YouTube
  • Recommended by 2 people: 2 in engineering communities.

Advanced. Deep dive for people who know the field.

11K views2 years ago2 recommendations

Programming languagesRustLanguage design and type systems

RustConf 2023 explores how an effect system could solve challenges around synchronicity, mutability, and fallibility in Rust.

The uploader added no description.

Why it's here

2 people recommend this

What people say. Recommended as an insightful talk on solving Rust's function coloring and synchronicity issues using an effect system.

u/SV-97in r/rust • Recommends

On “Can Rust be generic over synchronicity?”

Yoshua Wuyts' talk from 2023 (and the associated blog article) has a bunch of examples. In addition to mutability and constness there's also non-divergence (function provably terminates) and non-panic for example, as well as try (fallibility), a generator effect and a few more very interesting ones. I think this could really tackle some of the issues that have cropped up and been lamented over time and probably simplify the language as a whole at the cost of having a more complex type system.
13View on Reddit

u/SV-97in r/rust • Recommends

On “The notion of async being useless”

Have you watched this recently published talk about adding an effect system to Rust (which apparently is actually planned and going quite well)? It seems like like a way nicer solution to me than the "monad hell" of other languages.
3View on Reddit

u/age_of_bronzein r/rust • Recommends

On “The way Rust crates tend to have a single, huge error enum worries me”

Link for the lazy: link to this video
2View on Reddit