Aligning Elm with TLA+ will make it even more solid from a theoretical point of view.
SAM sounds very intriguing. I'm wondering if SAM couldn't be implemented in terms of TEA using a tagged union as Model. something like this: https://gist.github.com/pdamoc/c96714479d9f531fbc7468d5670ef576 On Tue, May 24, 2016 at 8:51 AM, Stefan Houtzager < stefan.houtza...@gmail.com> wrote: > I am interested in learning elm. I just read an article from Jean-Jacques > Dubray. He thinks an alignment with "SAM" would make elm stronger: > https://www.infoq.com/articles/no-more-mvc-frameworks#anch133142. > Discussions: https://gitter.im/jdubray/sam. > What do you think? Might it be interesting to start a discussion > with Jean-Jacques Dubray? > > -- > Kind regards, > > Stefan Houtzager > > Houtzager ICT consultancy & development > > www.linkedin.com/in/stefanhoutzager > > -- > 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. > -- There is NO FATE, we are the creators. blog: http://damoc.ro/ -- 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.
