動的型付け 型システム ダック・タイピング 再帰データ型 ポリモーフィズム 静的型付け 抽象型 サブタイピング (計算機科学) 型推論 Elm (プログラミング言語) プロトタイプベース カリー＝ハワード同型対応 Axiom (数式処理システム) ジェネリックプログラミング 依存型 Go (プログラミング言語) 列挙型 C Sharpのデータ型 構造化プログラミング タンパク質構造 タプル Rust (プログラミング言語) リスト (抽象データ型) 二次構造 Nullable型 Glasgow Haskell Compiler…

r 結晶構造 ダイナミックバインディング Miranda コンクリート充填鋼管構造 ユニフィケーション ボトム型 Standard ML トレイト プログラミング言語 Typedef 証明論 Boo (プログラミング言語) タンパク質構造データベース Ada ジャクソンの構造化プログラミング モノコック XL (プログラミング言語) テンプレート (プログラミング) Haxe スピン構造 TypeScript NumPy 束縛 (コンピュータ) 動的プログラミング言語 関数型プログラミング 変数 (プログラミング) Pascal Python Zig (プログラミ�

�グ言語) 長押 プログラミング用語一覧 Linden Scripting Language キーパッド 酸化ニオブ(II) データベースエンジン カンチレバー エイリアス解析 空間 (数学) コールバック (情報工学) コンテナ (データ型) スタンホペア属 データ構造アライメント サドルバッグ R言語 地域高規格道路 除煙板 旅客機の構造 Nim REBOL Haskell Cache (データベース管理システム) ハンガリアン記法 LabVIEW ドメインモデル 非構造化データ 風景構成法 共変性と反変性 (計算機科学) Oberon-2 MODX Evolution 靴の製法 エレメン 位相空間 乳母車 継承 (プ�