Note: This question is somewhat related to my previous one, but it actually touches the issue from different perspective
Consider following snippet:
let toStr a = a.ToString()
let strOp a = string a
let intToStr = 5 |> toStr
let floatToStr = 5.0 |> toStr
let intStrOp = 5 |> strOp
let floatStrOp = 5.0 |> strOp //type inference error
While the strOp
function uses what appears to be more elegant solution, and is able to convert a unit value to string as well, it seems not to be truly generic since it's type gets constrained during it's first usage (even the type inferred is obj -> string
, not 'a -> string
)
Why doesn't string operator work in such a generic way? Or am I doing something wrong?
The difference is that
string
uses static member constraints (see the definition) whileToString
is an ordinary method available on any object and so the compiler treats theToString
invocation as generic code that does not constrain the instance type in any way.Static constraints and (non-static) generics work in different ways when they are used in (otherwise unconstrained)
let
-bound function:For generic code, the compiler propagates the genericity and makes the
let
-bound function you wrote generic too.For static member constraints, the compiler specializes the code based on the first use. As mentioned in the comments, you can avoid this by using
inline
, which allows static member-based genericity to propagate in the same way as ordinal generic code.I think the only reason why the
string
function uses statically resolved type constraints is that it allows it to specialize as ordinaryToString
call for primitive types, but still handlenull
values in custom way for objects -toStr null
throws an exception butstrOp null
returns an empty string!