I looked at reddit and found out Idris 2 has all been done before. So that'll save me some time.
-
-
If making dependent types more accessible doesn't count as research, this doesn't bode well for me ever finishing my PhD...
-
I gather that's "just" engineering... (I really shouldn't draw attention to this nonsense should I? It's so hard to resist sometimes though...)
- 1 more reply
New conversation -
-
-
In
@PyretLang we set out to NOT do research, inspired by this@paulg quote, which crystalized things I'd already felt for some time — but had not articulated crisply — when I first heard it. In Pyret, I finally got to put it into practice. Courage! https://www.pyret.org/pyret-code/ -
I disagree with several things here, starting with the Paul G quote. The difference between research and design is that research is about knowledge not products. As I said to
@littlecalculist once, language design is always research, and that's true even if you don't write papers - 10 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.