A page of a nice interactive course about Ada explains in a small space the basics of intervals and sub-types:
This page shows some things that I don't like, or are probably excessive, but the overall idea seems interesting for Rust too.
Related Topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| How does Rust compare with Ada (and Spark)? | 2 | 1418 | January 12, 2023 | |
| Advanced Rust Course | 6 | 2207 | January 12, 2023 | |
| SPARK: Rust inspired adding of pointers to formal verification language | 3 | 728 | January 12, 2023 | |
| Rust course on Udemy | 7 | 2795 | January 12, 2023 | |
|
If Ada is already *very* safe, why Rust?
|
70 | 44509 | June 17, 2019 |