AgdaとReScript、まったく性格の違う言語ですね。何に使うかで選択が変わります。 ## Agda - **定理証明支援系 / 依存型言語** - 数学の証明やプログラムの正しさの形式検証が目的 - Haskellに似た構文、非常に強力な型システム - 実用アプリ開発にはほぼ使われない - 学術研究、型理論の学習向け ```agda data Nat : Set where zero