dynamic typing <-> static typing
strong typing <-> weak typing