Name:
Anonymous
2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous
2018-10-17 20:23
>>79Please post about it.
>>81Nobody said that about go and many supporters of dependent types raised their concerns when Rust appeared.
>>82We are talking about software security here. Why are infosec people so dumb?