Not really. Values have types, unsurprisingly, but variables don't. However, if the compiler can deduce the type at compile time, it will dispatch to the accor

Not really. Values have types, unsurprisingly, but variables don't. However, if the compiler can deduce the type at compile time, it will dispatch to the accordingly optimised function. (And type stable code helps doing that).