[rust-dev] Bring Back Type State

Cameron Zwarich zwarich at mozilla.com
Wed Jun 4 22:40:15 PDT 2014


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 <banderson at mozilla.com> 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
>> Rust-dev at mozilla.org
>> https://mail.mozilla.org/listinfo/rust-dev
> 
> _______________________________________________
> 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/126f6a09/attachment.html>


More information about the Rust-dev mailing list