doesn't know about C18
Oh yes, I do. From what I remember C18 doesn't add anything substantial. It was mostly just a maintenance update.
You wouldn't have a fucking operating system without it
Even though most of the operating system I use is written in C, if C didn't exist it would be written in a better language and suffer from less security vulnerabilities. All this C code holds us back.
It's also insanely portable
Technically all languages are portable. Since C programs often rely on operating system features, they are usually tied to the same operating system they were designed for making them less portable.
And the other likely option is haskell ends up with full dependent types before idris is ready, and then everyone just sticks to haskell anyways.
Dependent types in Haskell won't be as clean as they are in Idris from what I've seen.