F#で構造的部分型のマネゴト - QiitaF#のジェネリクスに制約をつけて、型パラメータに使える型を制限することができます。 それを使って、構造的部分型(structural subtyping)みたいな動きをさせてみようと思います。 // target : exec メソッドを持つオブジェクト // num : exec メソッドに渡す値 let inline exec< ^T when ^T : (member exec : int -> string)> target num = (^T : (member exec : int -> string) (target, num)) // exec メソッドを持つインターフェイス type IExec = abstract exec : int -> string // IExec インターフェイスを実装するクラス type Hoge() = interface IExec w
