##master-page:NoteTemplate
#format wiki
#language ja
= 第7回 =

== 課題1 ==

レジュメで言われてることをやるだけ。

「(e1 e2)」関数適用時に環境を拡張する際、引数名に「(eval env e2)」を対応させる代わりに「(Thunk (e2 env))」を対応付ける。

あ、パターンマッチを実装してる人はそこでも変数自体を評価するタイミングがあることを忘れずに。

で、変数自体の評価の際に取り出した「(Thunk (expr env))」を用いて評価値を「(eval env expr)」とすればいい。


次のテストケースが通ればいいはず。もちろん、本家OCamlインタプリタではこれらの式を評価すると止まらなくなります。

（6/14　パターンマッチのテストケースを追加）

{{{#!highlight ocaml
let f = (fun x -> (fun y -> x)) in let rec loop x = loop x in f true (loop 0);;
 - : bool = true
let f = (fun x -> (fun y -> y)) in let rec loop x = loop x in f (loop 0) true;;
 - : bool = true
let rec loop x = loop x in (fun x -> match x with y -> 1) (loop 0);;
 - : int = 1

(* タプルを実装した人へ *)
let rec loop x = loop x in match ((3,loop 0),loop 0) with ((x,_),_) -> x;; (* IS2009Wikiより例を勝手に拝借したうえちょっと書き換え。 *)
 - : int = 3
}}}

== 課題7 ==

載せていいのか微妙な気もしますが、EXISTモジュールの定義は下の通り。

{{{#!highlight ocaml
module EXIST: functor (T : sig type 'a t end) ->
sig
	type t
	type 'b u = {f : 'a. 'a T.t -> 'b}
	val pack : 'a T.t -> t
	val unpack : t -> 'b u -> 'b
end = 
functor (T : sig type 'a t end) ->
struct
	type 'b u = {f: 'a. 'a T.t -> 'b}
	type t = {t: 'false_t. 'false_t u -> 'false_t}
	let rec pack (x: 'a T.t) = {t = fun x1 -> x1.f x}
	let rec unpack x f = x.t f
end;;
}}}

これを使って、unfoldやらheadやらを作っていくわけですが、作った関数は多分下のように使います。（無限長の素数を作っています。）

{{{#!highlight ocaml
# let rec find_prime n = (* n以上の最小の素数を返す *)
          let rec check_prime n i =
                  if n mod i = 0 then false
                  else if n < i * i then true
                  else check_prime n (i + 1) in
          if check_prime n 2 then n
          else find_prime (n + 1);;
val find_prime : int -> int = <fun>
# let primes = unfold (fun x -> Cons (x, find_prime (x + 1))) 2;; (* 2という数を始点として無限長の長さの素数列を作る *)
val primes : stream = <abstr>
# head primes;; (* primesは[2;3;5;7;11;13;・・・]のようになっているはず。リストの先頭から順に見ていく *)
- : int = 2
# head (tail primes);;
- : int = 3
# head (tail (tail primes));;                                          
- : int = 5
# head (tail (tail (tail primes)));;                                   
- : int = 7
# head (tail (tail (tail (tail primes))));;                            
- : int = 11
# head (tail (tail (tail (tail (tail primes)))));;                     
- : int = 13
# head (tail (tail (tail (tail (tail (tail primes))))));;              
- : int = 17
# head (tail (tail (tail (tail (tail (tail (tail primes)))))));;       
- : int = 19
# head (tail (tail (tail (tail (tail (tail (tail (tail primes))))))));;
- : int = 23
}}}

また、レジュメにはありませんでしたが、streamに値を追加する機能もつけてきてほしいらしいです。

{{{#!highlight ocaml
let cons data (ls : stream) = …;;
let ls = unfold …;;
let ls = cons 1 ls;;
head ls;; (* この式の結果が1となればいい。 *)
}}}
----
[[Categoryノート]]