ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 英語
検索内容:
ur-type
関連語
type inferences
type inference
名詞
可算名詞
不可算名詞
日本語の意味
型推論: プログラミング言語において、式などの型が明示的な宣言なしに自動的に推定される仕組み / (ソフトウェア用語)プログラム中で、コンパイラやインタプリタが変数や式の型を自動的に決定する機能
関連語
type erasures
type erasure
名詞
可算名詞
不可算名詞
日本語の意味
コンパイル時にプログラムから明示的な型注釈(データ型情報)を実行前に削除するプロセス。 / プログラムの実行前に、型情報を取り除くことで型に依存しない動作を実現する技法。
関連語
value type
名詞
日本語の意味
プログラミングにおいて、値そのものを直接表現するデータ型。つまり、データそのものを保持し、ポインタや参照ではない。 / プログラミングにおいて、コピー操作の際にディープコピー(完全な複製)が行われる性質を持つデータ型。
関連語
existential type
関連語
loading!
Loading...