繰り返しのための高階関数

繰り返しの構造を関数（再帰関数）にすることもできる。

# let rec whle condition body =
if condition () then
begin body (); whle condition body end
;;
val whle : (unit -> bool) -> (unit -> 'a) -> unit = <fun>

condition () が真であるあいだ body を繰り返す。条件 condition () が単なる真偽値の式ではなくて unit -> bool 型の関数なところがミソ。たとえばファイルからの入力など。

もう一つ，リストの各要素に対して繰り返す関数。

# let rec iter f = function
[] -> ()
| a :: rest -> begin f a; iter f rest end
;;
val iter : ('a -> 'b) -> 'a list -> unit = <fun>

リストの各要素を出力するときとかに使える。