Trying 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!
>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.