summary_zh: 本書介紹 ATS 程式語言的核心功能與特性，涵蓋函式式程式設計、型別系統、定理證明等。
根據報導自動生成 · 1 小時前更新
沿著報導，瞭解事件的不同面向。
還沒有足夠的連續觀測資料，暫不繪製趨勢。