My experience of hacking on Idris 2 is that I'd have done it this way in the first place if only I'd tried writing a language like that before. Who would have thought it etc etc!https://twitter.com/steveklabnik/status/1222990451889909763 …
-
-
from what ive seen, writing an interactive compiler for a novel language is basically impossible. it adds soooo much complexity
-
From my experience at least, the compiler knows all the things, but if you don't know in advance what you want it to share, it's hard to design it so that knowledge is useful to users. At least we have that experience for version 2!
End of conversation
New conversation -
-
-
Hoe can you know what's right when you haven't yet figured out every way to be wrong?
-
At least I'm getting good at being wrong :)
End of conversation
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.