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 …
-
Show this thread
-
I am still doing it wrong of course. Just in new and creative ways. I'm sure there's worse ways to spend a career.
2 replies 1 retweet 15 likesShow this thread -
Replying to @edwinbrady
from what ive seen, writing an interactive compiler for a novel language is basically impossible. it adds soooo much complexity
1 reply 0 retweets 1 like
Replying to @marcusklaas
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!
3:05 PM - 30 Jan 2020
0 replies
0 retweets
3 likes
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.