Re:Chasing the Myth of Zero-Overhead Memory Safety
by monaaraj on Tuesday June 20, 2023 @03:03PM
(#36408899)
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~~
[ Parent
| on HN ]
There are no comments on this comment yet.