Implement Ada type system

language design
1

Ada has a strong type system, very rigorous and for this reason is used a lot in safety critical application. I work in the space sector with safety-critical software and I am a rustacean too. I would like to see the strong type system natively supported by Rust that I hope one day I will see in the sector.

I would like to declare in Rust for example a subtype of a type that allows me to restrict the values that a variable can have in some contexts and compiler raises an error when this constraint is not respected.

2

In Rust we are calling this possibility “pattern types”.

I think it is unlikely that copying Ada’s design exactly is a feasible path forward, but I suggest you follow these links to read about the current design work and look for opportunities to contribute.

11 Likes