[rust-dev] Bring Back Type State

Brian Anderson banderson at mozilla.com
Wed Jun 4 22:14:00 PDT 2014


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
> Rust-dev at mozilla.org
> https://mail.mozilla.org/listinfo/rust-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20140604/8729fa9c/attachment.html>


More information about the Rust-dev mailing list