型システム(静的型付け, 動的型付け, 強い型, 弱い型)

このカテゴリの用語

Expression Tree

Expression Tree 英語表記: Expression Tree 概要 式木(Expression Tree)とは、プログラミング言語のソースコード、特に計算やメソッド呼び出しといった「式」の構造を、実行可能な […]

Dynamic Proxy(ダイナミックプロキシ)

Dynamic Proxy(ダイナミックプロキシ) 英語表記: Dynamic Proxy 概要 ダイナミックプロキシとは、プログラムの実行時(ランタイム)に、特定のインターフェースを実装した新しいクラスの型を動的に生成 […]

Avro(アブロ)

Avro(アブロ) 英語表記: Avro 概要 Avroは、Apacheソフトウェア財団が開発した、高性能なデータシリアライゼーション(直列化)フレームワークです。これは、型システムの概念をデータ交換に応用し、データ本体 […]

Protobuf(プロトバフ)

Protobuf(プロトバフ) 英語表記: Protobuf 概要 Protobuf(Protocol Buffers)は、Googleが開発した、構造化データを効率的かつ高速にシリアライズ(直列化)するための言語中立的 […]

JSON Schema(ジェイソンスキーマ)

JSON Schema(ジェイソンスキーマ) 英語表記: JSON Schema 概要 JSON Schemaは、データ交換フォーマットとして広く利用されるJSON(JavaScript Object Notation) […]

Type Token

Type Token 英語表記: Type Token 概要 型トークン(Type Token)とは、主に高度な型システムを持つプログラミング言語において、実行時(ランタイム)に特定の型情報を安全かつ正確に保持し、識別す […]

RTTI(アールティーティーアイ)

RTTI(アールティーティーアイ) 英語表記: RTTI (Run-Time Type Information) 概要 RTTIとは、プログラムの実行時(ランタイム)に、そのオブジェクトが実際にどのデータ型を持っているか […]

Reflection API(リフレクションエーピーアイ)

Reflection API(リフレクションエーピーアイ) 英語表記: Reflection API 概要 Reflection API(リフレクションAPI)とは、プログラムが実行されている最中(ランタイム)に、自身の […]

Capability Type

Capability Type 英語表記: Capability Type 概要 Capability Type(能力型)は、情報システムにおけるリソースへのアクセス権限を、主体(ユーザーやプロセス)の身元に紐づけるので […]

Taint Analysis

Taint Analysis 英語表記: Taint Analysis 概要 汚染解析(Taint Analysis)とは、プログラムに入力された信頼できないデータ(ユーザー入力や外部からのファイルデータなど)が、システ […]