Is there a canonical example of encoding a state machine into Rust's substructural types?
Cameron > On Jun 4, 2014, at 10:14 PM, Brian Anderson <[email protected]> wrote: > > Thank you for your suggestion, but typestate is not coming back. There is no > room in the complexity budget for another major piece of type system, and > linear types can serve much the same purpose. > >> On 06/04/2014 10:11 PM, Suminda Dharmasena wrote: >> Hi, >> >> The initial Type State implementation in Rust was not a great way to get >> about it. Please reconsider adding type state like it has been done in the >> Plaid language. >> >> Basically you can use traits mechanism to mixin and remove the trait when >> methods marked as having state transitions. >> >> Suminda >> >> Plaid: http://www.cs.cmu.edu/~aldrich/plaid/ >> >> >> _______________________________________________ >> Rust-dev mailing list >> [email protected] >> https://mail.mozilla.org/listinfo/rust-dev > > _______________________________________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/listinfo/rust-dev
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
