Not picking on Idris here, because it's typical (first noticed it in PureScript). But note this: Idris> Just 3 Just 3 : Maybe Integer Idris> Nothing (input):Can't infer argument a to Nothing Idris> I understand the surface reason ("what kind of Nothing is it?"), but... 1/2
-
-
My guess is it doesn't come up much in non-repl practice. A non-jargony error message would help Elm newbies. I spent a bit over an A4 page explaining the issue to them. (First draft.)pic.twitter.com/ETLOeNYpZl
-
Hmm, yes, maybe it is better to come up with a good error message (if it's possible to tell when that's the error, at least) than to hack around it - it is a REPL only problem in Idris. Your explanation makes sense for Idris, at least.
- 8 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.