Skip to content

My talk at Rust Nation 2024 included a crate with some examples of how to use the Type system to your advantage.

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

elpiel/typed4safety

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Typed for safety

Crate with examples for the my talk @ Rust Nation 2024

Rust Nation: https://www.rustnationuk.com

The NASA report on the incident: https://llis.nasa.gov/llis_lib/pdf/1009464main1_0641-mr.pdf

Video

Video thumbnail

Slides

Typed for safety (Google Slides)

Abstract

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)

Pros and Cons

Pros: Using the type system can ensure that our

Cons: As you will see from the types generated for the typed builder or the units of measurement crate, they are quite intimidating at first and you will need some time to get used to them.

License

Licensed under either of

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

About

My talk at Rust Nation 2024 included a crate with some examples of how to use the Type system to your advantage.

Topics

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Sponsor this project

 

Languages