型安全性で考えること

型安全性で考えること

Transcript

1. 型安全性で考えること 中尾正剛 https://x.com/web_shogo_nakao
2. 目次 はじめに 01 02 03 04 05 型安全性とは 動的型付けと静的型付けの違い 型安全性で考えること まとめ
3. 型安全性とは プログラム側で型エラーを検知し、コンパイルエラーや実行時エラーを出してくれる。 データの型を明示的に指定して(型宣言)、その型通りにプログラムが動作すること
4. 型安全性とは // Javaで型宣言 int count = 0; String name = "Alice"; count = “aaa” // エラー intに文字列は入らない name = 1 // エラー 文字列に intは入らない
5. 型安全性とは // PHPで型宣言なし $count = 0; var_dump($count); $count = "aaa"; var_dump($count); php test.php int(0) string(3) "aaa"
6. 型安全性とは // PHPで型宣言あり function demonstrateTypeSafety(int $count): void { var_dump($count); } demonstrateTypeSafety(0); demonstrateTypeSafety("aaa"); TypeError: Argument 1 passed to demonstrateTypeSafety() must be of the type int, string given, called
7. 動的型付けと静的型付けの違い PHP ソースコードをインタプリタに読ませて処理が 実行されます。 要するに 実行時に型が決まる Java コードをコンパイラに読ませて中間生成物に変 換してビルドして実行可能な形式になり実行し ます。 要するに コンパイル時に型が決まる
8. 型安全性で考えること っというのが最近よく見る意見の一つです。 静的型付け言語が良い！
9. 型安全性で考えること プロジェクトの要件、チームの特性、開発フェーズなどを総合的に判断して、 適切な選択をすることが重要です。
10. 型安全性で考えること 動的型付け言語に型ヒントを導入したり、静的型付け言語でも型推論を活用したりと、 両者の良いところを取り入れる方向に進んでいます。
11. まとめ 喧嘩はよくありません。 仲よくしましょう。