Re:Features of a dream programming language
by dnautics on Wednesday December 29, 2021 @07:19PM
(#29731912)
> Future languages must address all three.
I think it's also okay to address memory corruption using tooling (like how sel4 proof checks c), the language might not have to address it, but it would be nice for the language to make it easy to address.
I think it's also okay to address memory corruption using tooling (like how sel4 proof checks c), the language might not have to address it, but it would be nice for the language to make it easy to address.