Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
型安全性で考えること
Search
Naka Sho
September 15, 2025
0
3
型安全性で考えること
型安全性で考えること
Naka Sho
September 15, 2025
Tweet
Share
More Decks by Naka Sho
See All by Naka Sho
Javaはレガシーではない!
shogonakao
0
1
アプリケーションログをs3に転送するとき個人情報気をつけてますか?
shogonakao
0
1
コーディングエージェントと 筋トレ
shogonakao
0
35
SpringBootでAPI開発
shogonakao
0
140
エキサイトブログ刷新に向けて
shogonakao
0
86
【エキサイトブログリビルド】Spring Boot × MyBatis × FreeMarker を使って、データベースの接続先を安全に変更します。
shogonakao
1
740
Featured
See All Featured
Imperfection Machines: The Place of Print at Facebook
scottboms
269
13k
GraphQLとの向き合い方2022年版
quramy
49
14k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
114
20k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
127
53k
BBQ
matthewcrist
89
9.8k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
132
19k
Docker and Python
trallard
46
3.6k
A better future with KSS
kneath
239
17k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
36
2.5k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
2.6k
The MySQL Ecosystem @ GitHub 2015
samlambert
251
13k
The Pragmatic Product Professional
lauravandoore
36
6.9k
Transcript
型安全性で考えること 中尾正剛 https://x.com/web_shogo_nakao
目次 はじめに 01 02 03 04 05 型安全性とは 動的型付けと静的型付けの違い 型安全性で考えること
まとめ
型安全性とは プログラム側で型エラーを検知し、コンパイルエラーや実行時エラーを出してくれる。 データの型を明示的に指定して(型宣言)、その型通りにプログラムが動作すること
型安全性とは // Javaで型宣言 int count = 0; String name =
"Alice"; count = “aaa” // エラー intに文字列は入らない name = 1 // エラー 文字列に intは入らない
型安全性とは // PHPで型宣言なし $count = 0; var_dump($count); $count = "aaa";
var_dump($count); php test.php int(0) string(3) "aaa"
型安全性とは // 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
動的型付けと静的型付けの違い PHP ソースコードをインタプリタに読ませて処理が 実行されます。 要するに 実行時に型が決まる Java コードをコンパイラに読ませて中間生成物に変 換してビルドして実行可能な形式になり実行し ます。
要するに コンパイル時に型が決まる
型安全性で考えること っというのが最近よく見る意見の一つです。 静的型付け言語が良い!
型安全性で考えること プロジェクトの要件、チームの特性、開発フェーズなどを総合的に判断して、 適切な選択をすることが重要です。
型安全性で考えること 動的型付け言語に型ヒントを導入したり、静的型付け言語でも型推論を活用したりと、 両者の良いところを取り入れる方向に進んでいます。
まとめ 喧嘩はよくありません。 仲よくしましょう。