avocado goblin is a user on cybre.space. You can follow them or interact with them if you have an account anywhere in the fediverse.
tired: rust discourse about whether memory-safety is useful or not and wheel reinventing
wired: rust discourse about whether it uses linear or affine types
it's affine btw
@a_breakin_glass
I had been investigating certain type systems recently, but I was interested mostly in dependent type systems such as found in Coq or ATS
@a_breakin_glass
I'm still learning the finer details of type systems and tbh I never heard about linear/affine types