You are viewing a single comment's thread.

view the rest of the comments →

0
0

[–] 16442949? ago 

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.

>>12732613

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.