Well, in Agda or Idris have you found the requirement for top-level type declarations to be an impediment?
useful bits of type inference aren't even out of the question, occasionally. I know it's not ready right now but...
-
-
let's have some imagination about where languages and tools might go if we let go of how current tools trade things off
-
This Tweet is unavailable.
- 3 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.