結局「型」って なんなん？？？

結局「型」って なんなん？？？ 東葛.dev 第2回

目次📖 ● プログラミングにおける型 ● 型の体系 ○ 動的型付けと静的型付け ○ 強い型付けと弱い型付け ○ 公称型と構造的部分型 ● 各言語での型の扱い

プログラミングにおける型 󰞵 ● 各言語の「型システム」により解釈するもの ● 人間と機械のインターフェイス ○ データの塊に名前をつけて認識しやすくする ■ カテゴライズ ○ 違う型ならエラーにする（一部の型の特性） ● 型の例 ○ 文字列 ○ 数値 ○ 真偽値 ○ オブジェクト

型の体系 🧬 一言に型といってもいくつかに体系立てて分類される ● 動的型付けと静的型付け ○ プログラムがいつ型を認識するか ● 強い型付けと弱い型付け ○ 型が想定と違った場合にどうするか ● 公称型と構造的部分型 ○ 何をもって同じ型と認識するか

各言語での扱い（というか具体的イメージの道しるべ） 型付け＼振る舞い 公称型 構造的部分型 動的型付け たぶんない （名前を重視するのに 動作時に決定するのは無理） Ruby Python PHP JavaScript 静的型付け Java Rust(Traits) C++ Go TypeScript※ ※TypeScriptでプライベートなプロパティを持つクラスを作ると公称型として定義される 赤字は強い型付け

型の体系 🧬 - 動的型付けと静的型付け プログラムがいつ型を認識するか 動的型付け ● 実行時に認識する ● Script言語はこれが多い ● 型パズルしなくても良しなにしてくれる 静的型付け ● コンパイル時に認識する ● 事前に型をチェックできるので早く実装ミスに気づける

型の体系 🧬 - 強い型付けと弱い型付け 型が想定と違った場合にどうするか 強い型付け ● ほぼ必ずエラーにする 弱い型付け ● エラーにならないケースがある

型の体系 🧬 - 強い型付けと弱い型付け 弱い型付けのサンプルコード

型の体系 🧬 - 公称型と構造的部分型 何をもって同じ型と認識するか 公称型 ● 型の名前が同じことをもって同じ型として扱う ○ リスコフの置換原則を満たした型を含む 構造的部分型 ● インターフェイス（シグニチャ）をもって同じ型として扱う ○ アクセサであったり、関数であったり ○ 諸説あり：ダックタイピングの考え方

各言語での扱い（というか具体的イメージの道しるべ） 型付け＼振る舞い 公称型 構造的部分型 動的型付け たぶんない （名前を重視するのに 動作時に決定するのは無理） Ruby Python PHP JavaScript 静的型付け Java Rust(Traits) C++ Go TypeScript※ ※TypeScriptでプライベートなプロパティを持つクラスを作ると公称型として定義される 赤字は強い型付け

備考⚠ 型 = クラス？ ● そう扱っている言語はある ○ Javaなど ● 一方でそうではない言語もある ○ TypeScript ■ クラス：class ■ 型：types / interface

まとめ🧵 ● 型は人間が構造を把握し、エラーを防ぐためにある ● 単に型付け言語と言っても種類がある ○ 動的型付けと静的型付け ○ 強い型付けと弱い型付け ○ 公称型と構造的部分型 ● 取り回しのしやすさなど、トレードオフ関係が成立する ○ どの程度、型に頼るのが書きやすいかは条件による ■ 熟練度 ■ 開発規模 etc. ● 高級プログラミング言語で型のない言語はない気がする