Does what have a practical use? The actual filesystem, or using the typestate pattern to prove the absence of bugs?
The latter is clearly a practical use - no bugs (or at least vastly less likely bugs).
The former is maybe a no since it seems like the authors couldn't achieve their results for "normal" filesystems because they are asynchronous - only for "persistent memory" which is synchronous. I dunno exactly who has persistent memory though. I guess it's stuff like Intel's Optane (which was discontinued)?
The latter is clearly a practical use - no bugs (or at least vastly less likely bugs).
The former is maybe a no since it seems like the authors couldn't achieve their results for "normal" filesystems because they are asynchronous - only for "persistent memory" which is synchronous. I dunno exactly who has persistent memory though. I guess it's stuff like Intel's Optane (which was discontinued)?