4 ms·
Every security issue can be represented at the language level. It's just a matter of building a more constrained, domain specific language, that encodes the req
by staticassertion 7y ago
Every security issue can be represented at the language level. It's just a matter of building a more constrained, domain specific language, that encodes the requisite security properties.
- blub 7y agoAnd then it's a matter of begging others to use the said constrained language, because it's a PITA to use :)
- astrobe_ 7y agoWell, yes. What people forget to mention is that security always has a price. That's why less safe languages are more popular.
- staticassertion 7y agoLess safe languages are not more popular at all. Memory safety was a huge selling point for languages like Java, Python, etc. The cost in those cases is performance. The cost is offset massively by productivity. It's less about direct costs and more about constraints and priorities.