Typing

static vs dynamic

strong vs weak