this post was submitted on 26 Nov 2021
1 points (100.0% liked)
Rust Programming
8438 readers
26 users here now
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Rust takes inspiration from substructural type systems. I think most of these languages will be able to implement affine and linear types.