ReScriptとIdris、かなり性格の違う2言語ですね。目的次第でおすすめが変わります。 ## ReScript - **用途**: Webフロントエンド開発(JavaScriptにコンパイル) - **型システム**: OCaml由来の堅実な型推論。健全(sound)な型システム - **実用性**: 高い。React連携(rescript-react)が充実、JSエコシステムをそのまま使