moonmile solutions 分室

ソフトウェア開発者の情報収集をリアルタイムで垂れ流し...という具合に行きます。

2014-05-22から1日間の記事一覧

F# で 'a(ジェネリック/総称)を型推論して束縛する離れ業がある

おなじく pars.fs を覗いてみて分かったのだけど、 let op (x:int) = let (y:'a) = 20 let (z:'a) = "masuda" x + y の場合には、"masuda" で bind するときにコンパイルエラーになる。 一見、'a は unit のように見えるけど、x+y の時点で op 関数の引数 x …

F#でラムダ式を配列に入れる離れ業がある

pars.fs を解析しているときに気づいたのだが、 let funcs = [| (fun x -> x + 2); (fun x -> x * 2); (fun x -> x / 2) |] ってことができる。ラムダ式を配列にするのだけど、こういうことができる。 > funcs.[1] 10 ;; val it : int = 20 あらかじめ、引数…