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 < [email protected]> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
