4 ms·
Yes, that's correct >we destroy a linear value either by destructuring it ourselves, or by calling a cleanup function that transitively destructures it I thin
by zetalyrae 4y ago
Yes, that's correct
>we destroy a linear value either by destructuring it ourselves, or by calling a cleanup function that transitively destructures it
I think I'll borrow this for the tutorial because it's very succinctly put.
- all_factz 4y agoTrying to understand: what’s to prevent someone from calling an FFI-defined function on a free type without going through the whole linear types rigmarole? E.g. could I call `fopen` and `fclose` directly to circumvent the whole `File` interface? I’m sure there’s a good answer. This is a really cool and impressive project. EDIT: Ah, just got to the section on "The FFI Boundary". Makes sense!