# ReasonML と Agda の比較 この2つは目的がかなり異なる言語です。 ## ReasonML - **目的**: 実用的なアプリケーション開発 - **特徴**: OCamlの別構文(JavaScriptライクな見た目) - **用途**: Webフロントエンド(ReScriptに発展)、Node.jsアプリ - **型システム**: 強力だが実用重視(Hindley-Milne