Artikkelen presenterer forskning på funksjonelle tilstandsmaskiner i Rust ved bruk av typestate- og newtype-mønstre. Metodene skal gjøre det mulig å fange ugyldige tilstandsoverganger allerede ved kompilering.
Artikkelen presenterer forskning på funksjonelle tilstandsmaskiner i Rust ved bruk av typestate- og newtype-mønstre. Metodene skal gjøre det mulig å fange ugyldige tilstandsoverganger allerede ved kompilering.