フロントエンドエンジニアの友人と 「型」で話がすれ違った原因 by どぎー

概要

普段Androidアプリエンジニアをしている私ですが、趣味でフロントエンドエンジニアの友人と開発する機会がありました。
その際に「型」という言葉の解釈で話が噛み合っていないことに気付きました。
その理由はTypeScriptとKotlinの型システムが異なっているという点にありました。
TypeScriptの型システムを「構造的部分型」、Kotlinの型システムを「公称型」といいます。
本トークではUIの実装例を題材としながら、それらの型システムの違いを学んでいきます。

目次

• はじめに
• 公称型（Kotlin）での型定義
• 構造的部分型（TypeScript）での型定義
• Jetpack Compose（Kotlin）でのUIの実装
• React Native（TypeScript）でのUIの実装
• 結論（公称型と構造的部分型の違い）