(* 
(* 目的：lst 中の整数をすべて掛け合わせる *) 
(* times : int list -> int *) 
let rec times lst = match lst with 
    [] -> 1 
  | first :: rest -> first * times rest 
*) 
 
(* 0 がみつかったことを示す例外 *) 
exception Zero 
 
(* 目的：lst 中の整数をすべて掛け合わせる *) 
(* times : int list -> int *) 
let times lst = 
  (* 目的：lst 中の整数をすべて掛け合わせる *) 
  (* 0 をみつけたら例外 Zero を起こす *) 
  (* hojo : int list -> int *) 
  let rec hojo lst = match lst with 
      [] -> 1 
    | first :: rest -> 
        if first = 0 then raise Zero 
                     else first * hojo rest 
  in try 
       hojo lst 
     with Zero -> 0 
 
(* テスト *) 
let test1 = times [3; 1; 4] = 12 
let test2 = times [0] = 0 
let test3 = times [3; 1; 0; 4] = 0 
let test4 = times [3; 2; 1; 0] = 0