Name: Anonymous 2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
dependent types solve halting problem?Languages with dependent types tend to not be Turing complete. Moreover the halting problem is irrelevant for just about anything.
how would they prevent those bugs if an OS was written in a dependently typed language?Formal verification