探讨前沿模型能否设计 TypeScript,而非仅改写语言。

前沿模型能把 TypeScript 改写成另一种语言,这已无争议。

但前沿模型能_设计_ TypeScript 吗?

不只是它的理念,而是所有让它变得出色的细节。我们如何达到那种同等的发现与判断水平?