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, <agjf.tuc...@gmail.com> 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 elm-discuss+unsubscr...@googlegroups.com. > 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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
