4 ms·

I'm not sure I understand your question. Could you elaborate?

• fouc 5y ago
  He's alluding to the fact that filesystems are a kind of database for files.
  • vanderZwan 5y ago
    I wouldn't exactly consider files "type-checked" though