プログラミング言語, 型に 関する アイデア