mmkal

型別的編譯期測試。有助於確保型別不會隨著時間的推移而退化為過於寬鬆的狀態。