f# - 仮想メソッドパラメータの属性を設定する場所は?

Question

これに対する明確な答えは見つかりませんでした...

この C# コードに相当する F# は何ですか?

public class SomeClass
{
    public virtual SomeMethod([Attribute] Int32 param)
    { }
}

F# には、属性を配置する場所が 2 つあります。

type SomeClass () =

   abstract SomeMethod : [<Attribute>] param:Int32 -> Unit
   default this.SomeMethod ([<Attribute>] param) = ()

Answer 1

両方に配置できますが、重要なのはオーバーライド ( default) です。

type T =
  abstract M : (* [<Out>] this is okay too *) i: byref<int> -> unit
  default this.M([<Out>] i) = () //but this one's necessary