2 ms·

I think they can easily be made secure. You just have to be willing to strongly type everything. It doesn't mean it would be conventional or easy, but it woul

I think they can easily be made secure. You just have to be willing to strongly type everything. It doesn't mean it would be conventional or easy, but it would eliminate most type safety issues that crop up during refactoring.

Voloskaya 6y ago
> I think they can easily be made secure [...] It doesn't mean it would be conventional or easy So you can easily make it secure by doing something not easy? Something that requires discipline, willingness and unconventional practice to be secure is by definition not secure. A secure language is the opposite: The default behavior and conventions are mostly secure and you need to go out of your way to make it unsecure. Otherwise, with enough time and enough people you are guaranteed to be doomed.