[the_af]

That is not the only difference between both type systems. It's very different to use one or the other. Especially in practice.