3 ms·
> even the most passionate X developers can't make use of the language in a full safe way Is pretty much true for any generally used language X. You can write
by mbrodersen 5y ago
> even the most passionate X developers can't make use of the language in a full safe way
Is pretty much true for any generally used language X. You can write security bugs, invalid domain logic, code that kills people etc. in any language that’s popular today. However there are examples of proven correct software (CompCert, CertOS, seL4 etc.) so we will hopefully get there eventually.