型の自己増殖

Wiki記事で論理に関するあれこれを調べていたが、「階型理論」の記事から飛んでいった「型理論」には、次のような記述がある。曰く、

「プログラミング言語の最大の基盤は型システムであるとも言われ、『型システムを正しく設計すれば、言語は自分自身で設計される』‥‥」

さらっと重大なことを言っているような気がする。自然言語では統語が正しければ文章は自ずと生成される、というのと同じ？

プログラミングではその目的は明確であるという前提なので、意味論を考える必要はないということなのかな。
（2024.8.31）