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/
<http://www.cs.cmu.edu/%7Ealdrich/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
