型システム（静的型付け, 動的型付け, 強い型, 弱い型）

このカテゴリの用語

ダックタイピング英語表記: Duck Typing 概要ダックタイピングとは、動的型付けを採用しているプログラミング言語において、オブジェクトの型をその名前や継承関係ではなく、「持っている機能（メソッドや属性）」に基 […]

JavaScript（ジャバスクリプト）英語表記: JavaScript 概要 JavaScriptは、主にWebブラウザ上で動作し、ウェブページに動的な動きや対話性を持たせるために不可欠なスクリプト言語です。私たちが […]

Ruby（ルビー）英語表記: Ruby 概要 Rubyは、日本人プログラマーのまつもとゆきひろ氏（通称Matz）によって開発された、オープンソースのオブジェクト指向スクリプト言語です。この言語の最大の特徴は、コードの記 […]

Python（パイソン）英語表記: Python 概要 Pythonは、読みやすく簡潔な文法が特徴の、世界的に非常に人気が高いプログラミング言語です。特にデータサイエンス、機械学習、Web開発など、多岐にわたる分野で活 […]

Gradual Typing 英語表記: Gradual Typing 概要段階的型付け（Gradual Typing）とは、一つのプログラム内で静的型付けの安全性と動的型付けの柔軟性を共存させるための、ハイブリッドな […]

Flow（フロウ）英語表記: Flow 概要 Flowは、主にJavaScript言語のために設計された静的型チェッカーです。JavaScriptのように実行時に型が決まる動的型付け言語に対して、開発段階で型エラーを検 […]

TypeScript（タイプスクリプト）英語表記: TypeScript 概要 TypeScriptは、Microsoftによって開発されたオープンソースのプログラミング言語で、既存のJavaScriptに「静的型付け […]

記述量英語表記: Verbosity 概要記述量とは、プログラミング言語を選択する際に考慮すべき要素の一つであり、特に静的型付けを採用している言語において、コンパイラが型を検証するために開発者がコード中に明示的に型情 […]

最適化英語表記: Optimization 概要最適化とは、プログラムがコンパイルされる際に、コンパイラがコードの実行効率を最大限に高めるための処理全般を指します。特に型システム（静的型付け, 動的型付け, 強い型, […]

型安全性英語表記: Type Safety 概要型安全性（Type Safety）とは、プログラムの実行中に予期せぬ型の不一致や誤った操作が発生しないように、言語仕様やシステム側で保証する性質のことです。これは、プロ […]