In computer science, a type system defines how a programming language classifies values and expressions into types, how it can manipulate those types and how they interact. A type identifies a value or set of values as having a particular meaning or purpose (although some types, such as abstract types and function types, might not be represented as values in the running computer program).

PropertyValue
p:abstract
  • In computer science, a type system defines how a programming language classifies values and expressions into types, how it can manipulate those types and how they interact. A type identifies a value or set of values as having a particular meaning or purpose (although some types, such as abstract types and function types, might not be represented as values in the running computer program). Type systems vary significantly between languages with, perhaps, the most important variations being their compile-time syntactic and run-time operational implementations. A compiler may use the static type of a value to optimize the storage it needs and the choice of algorithms for operations on the value. In many C compilers the "float" data type, for example, is represented in 32 bits, in accordance with the IEEE specification for single-precision floating point numbers. C thus uses floating-point-specific operations on those values (floating-point addition, multiplication, etc.). The depth of type constraints and the manner of their evaluation affect the typing of the language. A programming language may further associate an operation with varying concrete algorithms on each type in the case of type polymorphism. Type theory is the study of type systems, although the concrete type systems of programming languages originate from practical issues of computer architecture, compiler implementation, and language design. (en)
  • Ein Typsystem ist eine Komponente, die in Programmiersprachen zum Einsatz kommen kann, um den Wertebereich von Variablen einzuschränken. Programmiersprachen, die über ein Typsystem verfügen, nennt man typisiert. Je nach Ausprägung des Typsystems spricht man gelegentlich auch von stark typisierten oder schwach typisierten Sprachen. Durch die Typisierung soll sichergestellt werden, dass auf den Inhalten von Variablen keine Operationen ausgeführt werden, die syntaktisch oder semantisch fehlerhaft sind. Eine abstraktere Definition ist: :[A type system is a] tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute. :(Benjamin C. Pierce) (de)
  • Ohjelmointikielen tyyppijärjestelmä määrittelee, kuinka ohjelmointikieli luokittelee arvot ja muuttujat tyyppeihin, kuinka se käsittelee näitä tyyppejä ja kuinka nämä tyypit toimivat keskenään. Tyyppi tai tietotyyppi on joukko arvoja, joilla on yleensä samanaiheinen merkitys tai yhtenevä toteutus. (fi)
  • 型システム（type system）とは、プログラミング言語において値や式をデータ型に分類し、型を扱い、またそれらが相互作用する方式を定義する仕様及び実装である。 1つの型は共通の汎用的意味または用途を持つ値の集合1つを表現する。型システムは言語ごとに非常に異なっているが、おそらく最も大きな違いはその文法および実行時における動作においてである。 コンパイラでは値の記憶効率や値に対する操作アルゴリズムの選定を最適化するために静的型が用いられることがある。例として多くのCコンパイラではfloat型を単精度浮動小数点数のためのIEEE標準にしたがって32ビットで表現する。よって加算、乗算等に各浮動小数点数演算が用いられる。 型の強制の度合いや評価方法は言語の型付け（typing）に影響する。さらに、ポリモーフィズムのある言語では一つの演算がいくつかの具象アルゴリズムに対応付けられる。型理論は型システムを対象とした形式的な研究であるが、実際のプログラミング言語の型システムはコンピュータ・アーキテクチャや言語設計及び処理系の実装の実用上の課題から生まれたものである。 (ja)
  • Тип данных (встречается также термин вид данных) — фундаментальное понятие теории программирования. Тип данных определяет 1) множество значений, 2) набор операций, которые можно применять к таким значениям и, возможно, 3) способ реализации хранения значений и выполнения операций. Любые данные, которыми оперируют программы, относятся к определённым типам. (ru)
  • 在電腦科學中，類型系統定義為如何將程式語言中的數值和表達式分類到類型、如何操作那些類型，以及如何互相作用。類型是指一組變數，其具有普遍意義上的相同排序，或具有特定的目的（雖然某些類型，如抽象類型和函式類型，在運作時的程式中，可能不表示為值）。類型系統在各種語言之間有非常大的不同，也許，最主要的差異存在於編譯時期的語法，以及執行時期的運作實踐。 編譯器可能使用值的靜態類型以最佳化所需的儲存區，並選取對值運算時的較佳演算法。例如，在許多C編譯器中，「浮點數」資料類型是以 32 位元表示，與IEEE規格一致的單精度浮點數。因此，在數值運算上，C 應用了浮點數規範（浮點數加法、乘法等等）。 類型的約束程度以及評估方法，影響了語言的類型。更進一步，程式語言可能就類型多態性部分，對每一個類型都對應了一個極度個別的演算法的運算。類型理論研究類型系統，儘管實際的程式語言類型系統，起源於電腦架構的實際問題、編譯器實作，以及語言設計。 (zh)
p:date
  • 2008-07-01 00:00:00.000000 (xsd:date)
p:hasPhotoCollection
p:reference
p:relatedInstance
p:wikiPageUsesTemplate
p:wikipage-de
p:wikipage-fi
p:wikipage-ja
p:wikipage-ru
p:wikipage-zh
rdf:type
rdfs:comment
  • In computer science, a type system defines how a programming language classifies values and expressions into types, how it can manipulate those types and how they interact. A type identifies a value or set of values as having a particular meaning or purpose (although some types, such as abstract types and function types, might not be represented as values in the running computer program). (en)
  • Ein Typsystem ist eine Komponente, die in Programmiersprachen zum Einsatz kommen kann, um den Wertebereich von Variablen einzuschränken. Programmiersprachen, die über ein Typsystem verfügen, nennt man typisiert. Je nach Ausprägung des Typsystems spricht man gelegentlich auch von stark typisierten oder schwach typisierten Sprachen. (de)
  • Ohjelmointikielen tyyppijärjestelmä määrittelee, kuinka ohjelmointikieli luokittelee arvot ja muuttujat tyyppeihin, kuinka se käsittelee näitä tyyppejä ja kuinka nämä tyypit toimivat keskenään. Tyyppi tai tietotyyppi on joukko arvoja, joilla on yleensä samanaiheinen merkitys tai yhtenevä toteutus. (fi)
  • 型システム（type system）とは、プログラミング言語において値や式をデータ型に分類し、型を扱い、またそれらが相互作用する方式を定義する仕様及び実装である。 1つの型は共通の汎用的意味または用途を持つ値の集合1つを表現する。型システムは言語ごとに非常に異なっているが、おそらく最も大きな違いはその文法および実行時における動作においてである。 (ja)
  • Тип данных (встречается также термин вид данных) — фундаментальное понятие теории программирования. (ru)
  • 在電腦科學中，類型系統定義為如何將程式語言中的數值和表達式分類到類型、如何操作那些類型，以及如何互相作用。類型是指一組變數，其具有普遍意義上的相同排序，或具有特定的目的（雖然某些類型，如抽象類型和函式類型，在運作時的程式中，可能不表示為值）。類型系統在各種語言之間有非常大的不同，也許，最主要的差異存在於編譯時期的語法，以及執行時期的運作實踐。 (zh)
rdfs:label
  • Type system (en)
  • Typsystem (de)
  • Tyyppijärjestelmä (fi)
  • 型システム (ja)
  • Тип данных (ru)
  • 類型系統 (zh)
skos:subject
foaf:page
p:disambiguates
p:redirect
p:typing
owl:sameAs