フロントエンドエンジニアの友人と“型”で話がすれ違った原因
趣味でフロントエンドエンジニアの友人と開発する機会があり、その際に型という言葉の解釈で話が噛み合っていないことに気付きました。 友人が扱っている TypeScript も、私が扱っている Kotlin も、静的型付け言語で型という概念は共通してあるはずです。 ではなぜ型という言葉の解釈で話のすれ違いが生じたのか… その理由は、TypeScript と Kotlin の型システムが異なっているという点にありました。TypeScript の型システムを構造的部分型、Kotlin の型システムを公称型といいます。 本章では UI の実装例を題材としながら、それらの型システムの違いを学んでいきます。