Можно ли определить исключение внутри функции

Question

Одним из способов реализации «раннее возвращение» в OCaml это с помощью исключений:

exception Exit 

let myfunc() = 
    try 
     for i = 0 to .... do 
     if .. then raise Exit 
     done; false 
    with Exit -> true 

Однако, есть способ, чтобы объявить это Exit исключения в теле функция, поэтому его имя не видимо для других функций в модуле?

(* I would like to do this, but it gives a syntax error *) 
let myfunc() = 
    exception Exit 
    try 
     for i = 0 to .... do 
     if .. then raise Exit 
     done; false 
    with Exit -> true 

Answer 1

Да, что вы хотите, можно с помощью локального модуля:

let myfunc() = 
    let module M = struct exception Exit end in 
    try 
    for i = 0 to 3 do 
     if true then raise M.Exit 
    done; false 
    with M.Exit -> true 

Этот стиль не особенно приятно читать, хотя, так что я бы не рекомендовал его. Достаточно опустить показ Exit на следующем интерфейсе модуля, если вы хотите скрыть его от большей части остальной части программы.