Thanks for the term "referentially equivalent". It's a nice counterpart to "referentially transparent". (Long-time LISPers would know these as "EQ" v "EQUAL".)
Mark On Sat, Jun 24, 2017 at 8:52 PM, Max Goldstein <[email protected]> wrote: > Great points, Mark! > > I came across this r/elm thread > <https://www.reddit.com/r/elm/comments/6imyje/verifying_laziness/> and > they conclude that Html.lazy only skips a computation if the argument is > *referentially* equivalent to some previous value. If true, this would > invalidate the *toView* approach in Mark's first post on this thread. > > I think this suggests having viewstate already split out in the model, > i.e. a record or records. Then you pass each smaller record to a view > function. But the idea of defining your model in a way to make your view > functions more performant.... is not a pleasant one. > > -- > 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.
