Could the type inference rules used with static type parameters, inline and Generic.Zero and Generic.One be given or better documentation with examples.
This request originated from this SO question F# typing rules as inference rules in which I was hoping the answer would include the inference rules for static type parameters and inline.
I have been using F# for few years now, but every time I need static type parameters or inline or to use Generic.Zero and Generic.One with types other than numeric types I just don't feel confident in what I did.
Could the type inference rules used with
static type parameters,inlineandGeneric.ZeroandGeneric.Onebe given or better documentation with examples.This request originated from this SO question F# typing rules as inference rules in which I was hoping the answer would include the inference rules for
static type parametersandinline.I have been using F# for few years now, but every time I need
static type parametersorinlineor to useGeneric.ZeroandGeneric.Onewith types other than numeric types I just don't feel confident in what I did.