2009-08-08 第 6 章 一人読書会 ( プログラミングの基礎 ) OCaml 第 6 章はインタプリタからのエラーメッセージについての話。 6.2 大文字で始まる名前はコンストラクタ。 6.3 OCaml インタプリタは型エラーの場合、実際は演算子の間違い ( ドットの付け忘れなど ) のときでも値 ( 変数や定数など ) が間違ってるというエラーを出す。 6.4 実行時エラーは例外のみ? 6.5 アルゴリズムの間違いなどの論理的なエラーについてはインタプリタは見つけられない。 言いかえると、論理的に正しいプログラムならアルゴリズムが間違っていても実行は出来る。 エラーというよりはバグかな?