EuroRust

The type system of Rust is one of its main selling points. Users rely on it being correct, expressive, and performant. We currently sometimes fail to uphold these requirements even as many maintainers have been steadily improving it over the last 10 years.There are still many rough edge cases, difficult to support features, and performance pitfalls. To tackle all of these issues, a more significant change is needed. For this, the Types Team has have been working on a replacement of its core com

Player unavailable or embedding blocked? Use the YouTube link above.