https://github.com/elpiel/typed4safety

My talk at Rust Nation 2024 included a crate with some examples of how to use the Type system to your advantage.
https://github.com/elpiel/typed4safety

examples presentation rust rustlang slides typestate

Last synced: 5 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/elpiel/typed4safety
• Owner: elpiel
• License: apache-2.0
• Created: 2024-03-29T14:41:56.000Z (6 months ago)
• Default Branch: main
• Last Pushed: 2024-04-05T08:39:01.000Z (6 months ago)
• Last Synced: 2024-09-24T23:21:16.621Z (9 days ago)
• Topics: examples, presentation, rust, rustlang, slides, typestate
• Language: Rust
• Homepage: https://docs.google.com/presentation/d/1yU-yeHNJA2A2vm_k1jWrOpJXd10_Af-gvapzwI2Emu8
• Size: 15.6 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE-APACHE

Awesome Lists containing this project

README

        
# 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](https://i3.ytimg.com/vi/pnloY3pDgk4/maxresdefault.jpg)](https://www.youtube.com/watch?v=pnloY3pDgk4)

### Slides

[Typed for safety (Google Slides)](https://docs.google.com/presentation/d/1yU-yeHNJA2A2vm_k1jWrOpJXd10_Af-gvapzwI2Emu8)

### 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

- Apache License, Version 2.0 (LICENSE-APACHE or http://apache.org/licenses/LICENSE-2.0)

- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

### 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.