Not_found とか Division_by_zero とかいう例外は，じつは exn型のコンストラクタ。例外コンストラクタと呼ぶ。 コンストラクタの型を見ると # Division_by_zero;; - : exn = Division_by_zeroexn型であることがわかる。同様に raise の型も。 # raise;; - :…

整数リストの要素すべての積を返す関数 prod_list を定義しなさい。リスト要素の一つでも 0 が含まれている場合には，prod_list の適用結果は常に 0 になるので，例外処理を使用 して，0 を発見したら残りの計算を行わずに中断して 0 を返すように定義しなさ…