Strongly typed

/ˈstrɒŋli taɪpt/ ストロングリー タイプト

1. プログラミング言語において、変数や式に割り当てられるデータ型が厳密にチェックされ、異なる型間の暗黙的な変換が許されない、または制限される性質のこと。

プログラミング言語において、変数や式に割り当てられるデータ型が厳密にチェックされ、異なる型間の暗黙的な変換が許されない、または制限される性質を指します。これにより、型に関するエラーが実行時ではなくコンパイル時に検出されやすくなり、コードの信頼性が向上します。

Java is a strongly typed language, which means you cannot assign an integer to a string variable directly. (Javaは厳密な型付け言語であり、これは整数を文字列変数に直接割り当てることができないことを意味します。)

• Java: プログラミング言語の名前です。
• is: 「～である」という存在や状態を表す動詞です。
• a strongly typed language: 型の厳密なチェックが行われるプログラミング言語を指します。
• which means: 「これは～を意味する」という前述の内容を説明する句です。
• you cannot assign: 「あなたは割り当てることができない」という行為の否定を表します。
• an integer: 整数型のデータを指します。
• to a string variable: 文字列を格納するための変数を指します。
• directly: 直接的に、すぐに、という意味です。

Python is considered dynamically typed rather than strongly typed, allowing more flexibility. (Pythonは厳密な型付けではなく、動的型付けと見なされており、より柔軟性があります。)

• Python: プログラミング言語の名前です。
• is considered: 「～と見なされる」「～と考えられている」という受け身の表現です。
• dynamically typed: 実行時に型が決定される動的型付けを指します。
• rather than: 「～というよりもむしろ」「～ではなく」という比較や対比を表す句です。
• strongly typed: 型の厳密なチェックが行われる厳密な型付けを指します。
• allowing: 「～を可能にする」という許可や能力を表す動名詞です。
• more flexibility: より多くの柔軟性を指します。

A strongly typed system helps prevent common programming errors related to data type mismatches. (厳密な型付けシステムは、データ型の不一致に関連する一般的なプログラミングエラーを防ぐのに役立ちます。)

• A strongly typed system: 型の厳密なチェックが行われるシステムを指します。
• helps prevent: 「防ぐのに役立つ」という支援や助けを表す表現です。
• common programming errors: プログラミングにおける一般的なエラーを指します。
• related to: 「～に関連する」という関係性を示す句です。
• data type mismatches: データ型の不一致、または互換性のない型同士の組み合わせを指します。

関連

• Weakly typed
• Dynamically typed
• Statically typed
• Type safety
• Type checking