Many of the points touched in the article are simply the difference between designing a programming language for giving the authors a feeling of bleeding-edge c

Many of the points touched in the article are simply the difference between designing a programming language for giving the authors a feeling of bleeding-edge cleverness and designing it for the benefit of programmers using it. It's quite more than an "excuse" to prefer Idris.