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 <maxgoldste...@gmail.com> 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 elm-discuss+unsubscr...@googlegroups.com. > 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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
