Pythonのお勉強 Part75 (973ﾚｽ)
上下前次1-新

---

732: (ﾜｯﾁｮｲ 231f-1ngM) 08/13(水)09:44 ID:/jTyGuwU0(1) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
732: (ﾜｯﾁｮｲ 231f-1ngM) [sage] 2025/08/13(水) 09:44:46.84 ID:/jTyGuwU0 型付け・型検査の目的は型の不整合の有無を確認することだから、式の型が1つに確定できるならそれが最も分かりやすいとは思うけど、必ずしも1つに確定できなくても（たとえば式の型としてa型、b型、c型の3つの可能性があって、そのいずれについても）型の不整合が生じないことが確認できているのであれば、それで型付け・型検査としての役割は果たしているようにも思うけど。 http://mevius.5ch.net/test/read.cgi/tech/1743698824/732
型付け型検査の目的は型の不整合の有無を確認することだから式の型がつに確定できるならそれが最も分かりやすいとは思うけど必ずしもつに確定できなくてもたとえば式の型として型型型のつの可能性があってそのいずれについても型の不整合が生じないことが確認できているのであればそれで型付け型検査としての役割は果たしているようにも思うけど

---

上下前次1-新書関写板覧索設栞歴

---

あと 241 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.022s