Comment by AlotOfReading
3 days ago
Affine as in substructural linear types. They correspond to linear logic [0], and affine logic is named such because the way it's defined corresponds to affine functions. You don't literally need to scale your pointers though.
No comments yet
Contribute on Hacker News ↗