Name: Anonymous 2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
if it was so simple, we'd have done it by nowBut we have.
why would corporations who stand to lose a lot by getting hacked avoid something that would make them hack-proof?Because it is cheaper to hire Indians for pennies who have no idea about dependent types than hire people with some CS background. Why do you think that crap like Windows and Java are so popular?