Chasing the Myth of Zero-Overhead Memory Safety(verdagon.dev)
verdagon.dev
Chasing the Myth of Zero-Overhead Memory Safety
https://verdagon.dev/blog/myth-zero-overhead-memory-safety
1 comments
I love that people are finally realizing the importance of enforcing invariants in the type system. Linear types, Uniqueness types, Affine types... I love 'em all. ~~Hopefully somewhere in the future people realize even more the importance of pure FP~~