Closures vs Objectsat TECHClosures vs Objects - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト208:デフォルトの名無しさん 25/02/22 15:46:05.77 IIYOJqnw.net 言語のセマンティクスと実装は分けて考えるべき 209:デフォルトの名無しさん 25/02/22 15:57:38.39 es3U9V0K.net >>207 あなたが混同してる 型検査をコンパイル時に行うかどうかは規格、セマンティクスの領分で 実行時の値とされているものを静的にチェックできる範囲でチェックして警告を出したりするのは実装の領分だろう 210:デフォルトの名無しさん 25/02/22 16:05:21.30 W3fSq5/I.net >>207 その両者は明確に分かれてる 動的型付け言語は実行の途中で初めて型が確定しうる 静的型付け言語は必ず実行前に全ての型が定まる これらは言語仕様で定まる 静的型付け言語は型の安全性やパフォーマンスに優れている C/C++, Fortran, Go, Haskell, Java, OCaml, Pascal, Rust, Scala, Swiftなど スクリプト言語以外は静的型付け言語が多数派 211:デフォルトの名無しさん 25/02/22 16:35:21.85 N/T45y64.net >>209 >型検査をコンパイル時に行うかどうかは規格、セマンティクスの領分で >実行時の値とされているものを静的にチェックできる範囲でチェックして警告を出したりするのは実装の領分だろう >>207はまさにそう言っているのだが 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch