Linear types aren't free, they come with conceptual difficulty, so I'd be hesitant to use them as a default in Elm. As an advanced optimization maybe.
On Mar 16, 2017 4:34 PM, <[email protected]> wrote: > > I'd wanted to take advantage of this a while back with an Elm->Rust > compiler, that just used Rc (reference counting) for everything, so there's > no garbage collection. > > I guess this is also interesting because (as I understand it) it's the > lack of garbage collection in WebAssembly that disqualifies it as a compile > target. Might linear types be another approach? > http://blog.tweag.io/posts/2017-03-13-linear-types.html > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
