Name: Anonymous 2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
buffer overflows and injectionsCan be prevented by dependent types.
but also logic bugsCan also be prevented by dependent types.
and race conditionsYou probably need linear types for that.