Are you aware this is satire?
Probably Brzozowski’s derivative of regular expressions, e.g https://matt.might.net/papers/might2011derivatives.pdf
How nice of you to copy/paste my reddit comment!
You type 'proc' and let the editor autocomplete that for you: this is a long solved issue.
I like the parens for the structured editing they allow. Also, you don't need parens to be homoiconic.
The -O3 switch removes a recursive call, among other things (https://godbolt.org/z/oS3Cju).
> When I get a request for something slightly different, I almost have to start from scratch. You don't really start from scratch though (at least I don't): most of the time you can reuse idioms with minimal adaptation.
I disagree: it's not that hard to gradually get to a solution via the REPL.
Actually there is: be a EU resident. It's even explicitely stated there.
> Reading and understanding the Idris proof is actually more work than understanding the untyped Python version, therefore it's actually harder to say whether it's correct or not in a semantic sense. But you don't have…
If only people could properly argument...
Latest release is June 28, 2018. SBCL REPL kinda sucks by itself but nobody uses it that way.
Yeah, you managed to link a comment with some code (although I agree it looks useless)... I expected a github link to some lib relying on undocumented macros. > I don't know what's the worst. That you can't help it or…
Alright, do you have an actual example to show?
So? If you want a lightweight app, both JavaFX and Electron are bad.
Idris certainly is nice but I doubt anyone uses it for real stuff.
Are you aware this is satire?
Probably Brzozowski’s derivative of regular expressions, e.g https://matt.might.net/papers/might2011derivatives.pdf
How nice of you to copy/paste my reddit comment!
You type 'proc' and let the editor autocomplete that for you: this is a long solved issue.
I like the parens for the structured editing they allow. Also, you don't need parens to be homoiconic.
The -O3 switch removes a recursive call, among other things (https://godbolt.org/z/oS3Cju).
> When I get a request for something slightly different, I almost have to start from scratch. You don't really start from scratch though (at least I don't): most of the time you can reuse idioms with minimal adaptation.
I disagree: it's not that hard to gradually get to a solution via the REPL.
Actually there is: be a EU resident. It's even explicitely stated there.
> Reading and understanding the Idris proof is actually more work than understanding the untyped Python version, therefore it's actually harder to say whether it's correct or not in a semantic sense. But you don't have…
If only people could properly argument...
Latest release is June 28, 2018. SBCL REPL kinda sucks by itself but nobody uses it that way.
Yeah, you managed to link a comment with some code (although I agree it looks useless)... I expected a github link to some lib relying on undocumented macros. > I don't know what's the worst. That you can't help it or…
Alright, do you have an actual example to show?
So? If you want a lightweight app, both JavaFX and Electron are bad.
Idris certainly is nice but I doubt anyone uses it for real stuff.