>But then where are all of these immensely-correct fast-written programs? Ah, the Fermi paradox of programming languages. I wonder what the appropriate terms

>But then where are all of these immensely-correct fast-written programs? Ah, the Fermi paradox of programming languages. I wonder what the appropriate terms should be for the Drake equation of language adoption? I definitely think there is a factor for users originally attracted to shiny new objects, who then discover shiny... Oooooh, Idris!