2014-06-25から1日間の記事一覧
例の演習を馬鹿正直に手でやってると、コンピュータの気持が分かる気がしないでもない。No 47 |- let twice = fun f -> fun x -> f (f x) in twice twice (fun x -> x * x) 2 evalto 65536 by E-Let { |- fun f -> fun x -> f (f x) evalto ()[fun f -> fun …
例の演習を馬鹿正直に手でやってると、コンピュータの気持が分かる気がしないでもない。No 47 |- let twice = fun f -> fun x -> f (f x) in twice twice (fun x -> x * x) 2 evalto 65536 by E-Let { |- fun f -> fun x -> f (f x) evalto ()[fun f -> fun …