2010-07-16から1日間の記事一覧
について,現時点での自分の理解をまとめておく. ML 系言語での話. let-polymorphism とは let によって束縛されたものが多相的に振舞えるためのもの. let twice = fun f x -> f (f x) let a = twice (fun x -> x + 1) 0 let b = twice not true このよう…
について,現時点での自分の理解をまとめておく. ML 系言語での話. let-polymorphism とは let によって束縛されたものが多相的に振舞えるためのもの. let twice = fun f x -> f (f x) let a = twice (fun x -> x + 1) 0 let b = twice not true このよう…