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.
I hope you realize the Idris code actually prove that the list will be correctly sorted, unlike your python code.
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?
Come on. A lack of tests or documentation isn't specific to Lisp. TBH, I'd rather use a well-designed DSL than a shitty API.
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.
I hope you realize the Idris code actually prove that the list will be correctly sorted, unlike your python code.
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?
Come on. A lack of tests or documentation isn't specific to Lisp. TBH, I'd rather use a well-designed DSL than a shitty API.
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.