Peter's description is very close to how I manage states in my code. It never occurred to me that it might have its own name; it just seemed the most natural way to manage states within the Elm Architecture.
The model is a union type. The action is a union type. The update function is just a case statement, so actions that are nonsensical for the model state can be easily ignored. As far as I can tell, Dubray's criticism of the Elm Architecture is summarized in this quote: "That assertion is erroneous. You would be missing a couple of important parts: - the logic that decides which state you are in so you can properly compute the view and enable the actions associated to the state - the next action predicate" The first point of complaint is that both the update and view functions need a case statement. The second point of complaint is that ... I am not sure. It seems to me that Elm's Effects are filling the role of Dubray's next action predicate just fine. These seem like aesthetic differences, so I am sure there is some point that I am missing. What would need to change in the Elm architecture for it to match SAM? On Tue, May 24, 2016 at 1:22 AM, Peter Damoc <[email protected]> wrote: > 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. > -- 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.
