So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous2018-10-17 1:00
>>67 if it was so simple, we'd have done it by now
why would corporations who stand to lose a lot by getting hacked avoid something that would make them hack-proof? because it's not a magic bullet like you say it is, that's why