Viewing profile — olzd

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 ca…

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 i…

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…

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.