There have been many discussions on Github about improving the function equality situation. To quote Janis's comment here <https://github.com/elm-lang/elm-compiler/issues/1145>:
> This has often been discussed. In GitHub issues like here > <https://github.com/elm-lang/elm-compiler/issues/913#issuecomment-108619900> > and elsewhere, also on the mailing list, here > <https://groups.google.com/forum/#%21msg/elm-discuss/tKZQ1DvBVhw/oRqfersDKgEJ> > and again in other threads. > > The most complete discussion about why this is not a thing that can easily > be made a type error caught by the compiler is probably this one: > elm-lang/elm-plans#9 <https://github.com/elm-lang/elm-plans/issues/9>. > > A pragmatic alternative is this one: elm-lang/core#213 > <https://github.com/elm-lang/core/pull/213>. But it's also not favored by > everyone. > > So, don't expect anything soon. [image: :disappointed:] > On Mon, Jul 11, 2016 at 9:25 AM, Max Goldstein <[email protected]> wrote: > In my animation library, I define an 'equal' function because animations > include a function. I sample the function maybe 5 times for each animation; > it's rare to get a false positive. > > It's possible that the "marketing" needs to be clarified, but it will > always be possible to get a runtime error in Elm since it's Turing complete > and the stack is finite. You can also get errors from ports, and from a few > remaining language and tooling bugs. What is meant is that you don't get > errors on a production system that seemed fine in testing. > > -- > 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.
