TypeScript や Python に導入されている「漸進的型付け」ですが，理論と実際の言語の間には大きなギャップが存在します．この記事では，そうしたギャップをプログラマの言葉でわかりやすく解説し，TypeScript や Python といったプログラミング言語の未来を…