So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous2018-10-17 18:57
>>77 I'm just saying there's more to security than dependent types many security issues aren't about language design it's like saying access modifiers are the difference between a secure or insecure program lol