This is basically the same as Typed Holes, which Haskell has. There was a proposal for this a while back (which I fully support).
https://groups.google.com/forum/#!searchin/elm-dev/type$20holes%7Csort:relevance/elm-dev/_mS33Io74vs/qR0qESkyBwAJ On Thu, Sep 1, 2016 at 5:21 PM, Max Goldstein <[email protected]> wrote: > Debug.crash is used when you know a condition is impossible. I have a > library where I sort a non empty list and do case analysis on the result. I > call Debug.crash on the empty list case. It can't happen because sorting > doesn't change the length of the list, but building that into the type > system is way to complicated for Elm's goals. > > Language and tooling features are focusing on "making impossible things > possible" not "making possible things pleasant", so Debug.todo is unlikely > to get implemented anytime soon. But I think it's a pretty neat idea! > > -- > 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.
