クラスの必要性 - あどけない話

先週、輪講で「Real World Haskell」の6章を読みました。独自に定義した JSON の型 JValue を Int などへ変換する例題が載っています。このとき、独自に定義した JSON というクラスを使います。 僕は、いや、輪講に参加した全員は、この例題が何を言いたいのかさっぱり分かりませんでした。しかし今日、設定ファイルをどう扱うかを考えていて、ようやく理解できました。 たとえば、設定ファイルを読み込むプログラムを書くとします。設定ファイルは、こんな感じです。 Limit: 10 AllowRootUser: Yes この設定ファイルをパースする Haskell プログラムは、一つの型しか返せませんから、以下のように Int と Bool を包含する型を作ることになります。 data Config = CV_Int Int | CV_Bool Bool 解析結果は、こんな感