ReScriptとCoqは目的がかなり違う言語なので、何をしたいかで選択が変わります。 ## ReScript - **目的**: 実用的なWebフロントエンド開発 - JavaScriptにコンパイルされる、OCamlベースの言語 - React開発との相性が良い(元ReasonML/BuckleScript) - 強力な型推論で安全なJSコードを書ける - **向いている人**: 型安全にW