テキスト訂正

Objective Caml 入門

• Section 3.3.5 のodd, even の定義(thanks to 藤井君)： 偶数でない、奇数でない、という判定をする部分がないと、 odd 4 などを実行したときに無限ループしてしまう。 正しくは

  let rec even n = 
    if n = 0 then true else
    if n = 1 then false else odd (n-1)
  and odd n = 
    if n = 0 then false else
    if n = 1 then true else even (n-1)
  

• Exercise 4.8: 後半「また，関数合成のコンビネータ o を s と k の 組合わせで(以下のように)定義せよ．…」を以下の問題で，差し換える．

  また，恒等関数 (fun x -> x) を s k k と表現したのと同様に (fun x y -> y) と同じ働きをする関数を s と k と関数適用の組合わせのみで 表現せよ．(fun や let による関数定義は使ってはならない．)

  # ( (* s と k を関数適用で組み合わせた式 *) ) 1 2;;
  - : int = 2 
  

  (ヒント: 型さえ目的のものと一致するように組み合わせればできてしまう． K の型は 'a -> 'b -> 'a である．つまり，K e の型は 必ず 'b -> < 式 e の型 > という形をしている．これと fun x y -> y の型を比べると？))

実験指導書

• Section 3.9.1: ... エイリアシングはプログラムの挙動を非常に 分かりにくくする．
• Figure 16, 必要呼出し 最後に

  ... and eval_let_rands env = function [] -> [] | e :: rest -> ref (Thawed (eval_exp env e)) :: eval_let_rands env rest

  を追加．