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
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.
-
-
Data point. Having been doing repl work all day, this old Lisp hacker and new Elm-ist keeps getting frustrated by things like the attached.pic.twitter.com/RML2HYOUtr
-
When I was doing Clojure work, I had a reputation for using the repl less than others. (Because I'm a TDD person.) But using the repl to tinker around and find out what functions really do was part of my practice. It translated well to Elm, having more trouble with PureScript.
- 6 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.