strongly-typed

形容詞

比較不可

(computing) Belonging to a type system that enforces variables matching (or easily convertible to) the expected types.

日本語の意味

プログラミングにおいて、変数や値が事前に定義された型に厳密に一致するか、容易にその型に変換できることを保証する型システムに属することを意味します。

新しいライブラリは厳密な型チェックを持つ言語向けに書かれており、コンパイル時に正しい変数の型を強制することで実行時の型エラーを減らします。

意味（1）

(computing) Belonging to a type system that enforces variables matching (or easily convertible to) the expected types.