> for example where type inference is used, like in Haskell or
> F# (or to some extent in C# 3.0)

IIRC D is capable of doing some type inferencing too. But D is still
on my to-be-learned list.