Lachezar Lechev - Typed for Safety
In this talk we will explore the advantage of Generics together and see if it could save future space missions. Generics are also used in the Typestate pattern but let's see how far we can get with it, its advantages and also… disadvantages. We can apply the Rust type system to safety- and mission-critical systems and avoid losing a probe in space (NASA Mars climate orbiter, 1999).