{
  "id": "lm-002595",
  "title": "分類即狀態：從靜態類型到動態類型體制",
  "source_file": "content/papers/2026/2026-08/分類即狀態：從靜態類型到動態類型體制.md",
  "legacy_slug": "paper-2714.md",
  "ext": "md",
  "language": "zh-Hant",
  "authorship": "collaborative",
  "created": "2026-08-12",
  "year": 2026,
  "month": "2026-08",
  "date_confidence": "explicit",
  "date_basis": "ctcl-verified-instant (ctcl:instant:bd71d3d9-0508-4c35-823a-03b7d25d4dc3, Ed25519-signed, 2026-08-12T11:05:58.202Z)",
  "canonical_url": "/p/lm-002595/",
  "raw_url": "/raw/lm-002595.md",
  "api_url": "/api/papers/lm-002595.json",
  "legacy_page_url": "/papers/paper-2714.md.html",
  "legacy_raw_url": "/papers/paper-2714.md",
  "hash": "sha256:b1dcf0468e2fa786a62178a90d67419b3d24f0a7dcdfe7ab9767423a181e9ad4"
}