Are you aware this is satire?
43 karma · joined October 30, 2017
You don't really start from scratch though (at least I don't): most of the time you can reuse idioms with minimal adaptation.
But you don't have to write a proof to sort a list in Idris. So you're not being honest with your comparison.
> I don't know what's the worst. That you can't help it or that you won't ever recognize you have a problem.
Anyone can write bad code. Lisp certainly makes it easier, I won't deny it. And no, I don't have a problem, thank you.