## Idris vs Elm 両方とも関数型言語ですが、目的が全く違います。 ### Elm - **用途**: Webフロントエンド専用 - **特徴**: - ランタイムエラーがほぼゼロ - The Elm Architecture (TEA) が組み込み - エラーメッセージが非常に親切 - 学習しやすい(言語仕様が意図的にシンプル) - **欠点**: 用途が限定的、