型の哲学──静的と動的の間にあるもの 第4章：静的型付け言語の特性と功罪 C++に限らず、「静的型付け（static typing）」を採用するプログラミング言語は数多く存在します。Java、Rust、Go、Haskell、TypeScript（厳密には静的解析）などがその代表例です。 …