@edwinbrady i love idris, but i find that sometimes when building a complicated abstraction, the type errors can be quite cryptic. Do you have any advice?
Depends on the situation, but I sometimes take that as a sign my abstraction is more complex than it needs to be!
But if that's not the case, what you might want is error reflection, covered in Chapter 8 of @d_christiansen's thesis http://www.davidchristiansen.dk/david-christiansen-phd.pdf …
-
-
Great, thanks, will read! Sadly, in this case I do believe it's necessary complexity. Trying to port something that *really* takes advantage of dynamic types in the original implementation. :/
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.