4 ms·
> affine ownership huh? you can rotate and scale the ownership?
by 8note 4mo ago
> affine ownership
huh? you can rotate and scale the ownership?
- AlotOfReading 4mo agoAffine 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. [0] https://en.wikipedia.org/wiki/Linear_logic https://en.wikipedia.org/wiki/Linear_logic