检查路径的元数据
要检查一个路径的元数据，可以使用 System.FilePath.metadata 函数，它能告诉你诸如文件类型、大小、访问时间等元数据。
def checkFileSize (path : System.FilePath) : IO Unit := do
let metadata ← System.FilePath.metadata path
IO.println s!"Size of {path}: {metadata.byteSize} bytes"