Typový systém: Porovnání verzí

Přidány 4 bajty ,  před 8 měsíci
m
+odkaz
(Robot: Opravuji 2 zdrojů a označuji 0 zdrojů jako nefunkční) #IABot (v2.0.1)
m (+odkaz)
[[Překladač|Kompilátor]] může k uložení hodnoty použít staticky definovaný datový typ a pak na ni aplikovat příslušný typ výpočtu. Například kompilátor [[C (programovací jazyk)|jazyka C]] používá datový typ ''float'', který je podle [[IEEE 754]] reprezentován jako [[32bitový|32bitové]] číslo, a používá pro něj speciální [[Strojová instrukce|strojové instrukce]] určené pro výpočty s [[Pohyblivá řádová čárka|pohyblivou řádovou čárkou]].
 
Úroveň typových omezení a způsob jejich posuzování mají vliv na ''typování'' daného programovacího jazyka. Programovací jazyk může v případě typového [[Polymorfismus (programování)|polymorfizmu]] přiřadit každému typu další operace s různými konkrétními algoritmy. [[Teorie typů]] řeší typové systémy, i když konkrétní typové systémy vycházejí z praktických otázek jako je architektura počítače, implementace překladače a konstrukce programovacího jazyka.
 
== Základy ==