In computer science, a type system may be defined as "a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.". Loosely, a type system associates one (or more) type(s) with each program value; by examining the relation between types and expressions, a type system attempts to prove that no "type errors" can occur.

PropertyValue
dbpprop:abstract
  • In computer science, a type system may be defined as "a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.". Loosely, a type system associates one (or more) type(s) with each program value; by examining the relation between types and expressions, a type system attempts to prove that no "type errors" can occur. The type system in question determines what constitutes a "type error", but type systems in common use generally seek to guarantee that operations expecting a certain kind of value are not used with values for which that operation makes no sense. 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.
  • Der Begriff Typsystem bezeichnet in der Informatik 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.
  • 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.
  • 型システム（type system）とは、プログラミング言語において値や式をデータ型に分類し、型を扱い、またそれらが相互作用する方式を定義する仕様及び実装である。 1つの型は共通の汎用的意味または用途を持つ値の集合1つを表現する。型システムは言語ごとに非常に異なっているが、おそらく最も大きな違いはその文法および実行時における動作においてである。 コンパイラでは値の記憶効率や値に対する操作アルゴリズムの選定を最適化するために静的型が用いられることがある。例として多くのCコンパイラではfloat型を単精度浮動小数点数のためのIEEE標準にしたがって32ビットで表現する。よって加算、乗算等に各浮動小数点数演算が用いられる。 型の強制の度合いや評価方法は言語の型付け（typing）に影響する。さらに、ポリモーフィズムのある言語では一つの演算がいくつかの具象アルゴリズムに対応付けられる。型理論は型システムを対象とした形式的な研究であるが、実際のプログラミング言語の型システムはコンピュータ・アーキテクチャや言語設計及び処理系の実装の実用上の課題から生まれたものである。
  • Тип данных
  • В програмуванні, система типізації визначає те, як мова програмування класифікує значення та вирази за типами, як вона обробляє ці типи і те, як вони взаємодіють. Тип даних означає множину значень, які мають певне спільне значення або спосіб застосування (хоча, деякі типи, такі як абстрактні або функціональні типи, можуть і не представляти значень в програмі). Системи типізації різних мов програмування істотно різняться одна від одної. Найістотніші відмінності полягають в реалізаціях компіляції та поведінки під час виконання програми.
dbpprop:date
  • August 2009
dbpprop:hasPhotoCollection
dbpprop:reference
dbpprop:relatedInstance
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • In computer science, a type system may be defined as "a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.". Loosely, a type system associates one (or more) type(s) with each program value; by examining the relation between types and expressions, a type system attempts to prove that no "type errors" can occur.
  • Der Begriff Typsystem bezeichnet in der Informatik 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.
  • 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.
  • Тип данных
  • В програмуванні, система типізації визначає те, як мова програмування класифікує значення та вирази за типами, як вона обробляє ці типи і те, як вони взаємодіють.
rdfs:label
  • Type system
  • Typsystem
  • Tyyppijärjestelmä
  • 型システム
  • Тип данных
  • Система типізації
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of
is dbpprop:typing of
is owl:sameAs of