Comment by sfn42

Lots of languages can infer types. And your last example with the colors is just a dictionary.