Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
olzd
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
olzd
4mo ago
Are you aware this is satire?
2.
▲
by
olzd
5y ago
Probably Brzozowski’s derivative of regular expressions, e.g https://matt.might.net/papers/might2011derivatives.pdf
3.
▲
by
olzd
7y ago
How nice of you to copy/paste my reddit comment!
4.
▲
by
olzd
7y ago
You type 'proc' and let the editor autocomplete that for you: this is a long solved issue.
5.
▲
by
olzd
7y ago
I like the parens for the structured editing they allow. Also, you don't need parens to be homoiconic.
6.
▲
by
olzd
8y ago
The -O3 switch removes a recursive call, among other things ( https://godbolt.org/z/oS3Cju ).
7.
▲
by
olzd
8y ago
> 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.
8.
▲
by
olzd
8y ago
I disagree: it's not that hard to gradually get to a solution via the REPL.
9.
▲
by
olzd
8y ago
Actually there is: be a EU resident. It's even explicitely stated there.
10.
▲
by
olzd
8y ago
> 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 to
11.
▲
by
olzd
8y ago
If only people could properly argument...
12.
▲
by
olzd
8y ago
Latest release is June 28, 2018. SBCL REPL kinda sucks by itself but nobody uses it that way.
13.
▲
by
olzd
8y ago
I hope you realize the Idris code actually prove that the list will be correctly sorted, unlike your python code.
14.
▲
by
olzd
8y ago
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 that
15.
▲
by
olzd
8y ago
Alright, do you have an actual example to show?
16.
▲
by
olzd
8y ago
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.
17.
▲
by
olzd
8y ago
So? If you want a lightweight app, both JavaFX and Electron are bad.
18.
▲
by
olzd
9y ago
Idris certainly is nice but I doubt anyone uses it for real stuff.