On Nov 30, 2013, at 10:02 AM, Patrick Walton <[email protected]> wrote:
> I don't agree in general that the right solution for every problem that can > be solved through the type system is in the type system. Every type system > feature has a cost; when something can be done via what's already present in > the language then it becomes difficult to justify adding more features to > what is already a quite complex type system by industry standards. The problem here is that the type system already understands the idea of a `once` fn, it just has an artificial limitation that means it can only apply that to a heap closure and not a stack closure. -Kevin _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
