3 ms·

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