Same with PureScript. Even though the `a` does not appear in `Nothing`, the type is still `Maybe a` - class elaboration happens at the type level, not the value level (it can't in general). It works in Elm because showing values is fully magic and cannot be user-specified.
-
-
I occasionally use the repl. But more and more I'm doing what Edwin mentions. I just use a type hole. Also if I want the type of something my vim plugin usually gives me it. Or it will quickly take me to Hoogle/Pursuit/etc to get the info I need.
-
I'm looking forward to learning to use holes. I can't assume very much about what editors my readers use, or how much of their life they've devoted to customizing them.
- 2 more replies
New conversation -
-
-
Also, maybe this is a relevant distinction: at the REPL Haskell (and probably others) compiles and executes expressions, whereas Idris evaluates them. Which probably leads to different choices being made about how to display results.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This is the way I work too - I don't use the REPL at all. If I actually want to run some code I'll tend to have a watch thing set up running a main / test suite on changes.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.