某日記にインスパイヤされて 無限リストを書いてみた。OCamlで。 open Lazy type 'a inf_list = { hd : 'a; tl : 'a inf_list Lazy.t; } let hd x = x.hd and tl x = force(x.tl) let rec primes_from_2 = { hd = 2; tl = lazy(primes_from 3) } and primes_…