4 ms·
But you can just slam memory management into your types if you know type theory (affine / linear types)
by oxff 4y ago
But you can just slam memory management into your types if you know type theory (affine / linear types)
- valenterry 4y agoThat's the important note. Memory management is in no way special or more special than other things. But it is fairly hard to enable the typesystem to handle it. Rust started some parts but it's just the beginning.