There are several other limitations. For instance, method signatures can't be inferred. In F#, you can write member this.AddOne(i) = i + 1 and AddOne wi

There are several other limitations. For instance, method signatures can't be inferred. In F#, you can write member this.AddOne(i) = i + 1 and AddOne will be inferred to have the signature (int -> int). There are plenty of other annoying restrictions, too, such as locals defined by lambdas.