Typsäkerhet

Typsystem
Allmänt
  • Datatyp
  • Typsäkerhet
Huvudkategorier
  • Statisk mot Dynamisk
  • Manifest mot Inferens
  • Nominell mot Strukturella
Övriga kategorier
  • Beroende
  • Flödeskänslig
  • Gradvis
  • Snitt
  • Latent
  • Förfinande
  • Substrukturell
  • Unik
Se även
  • Stark och svag typing
v • r

Typsäkerhet är en garanti inom ett programspråk som förhindrar eller omöjliggör typfel.

För att åstadkomma en sådan garanti behöver programspråket ett typsystem samt ett typkollsprogram (en: type checker) som kan avgöra om ett visst program är typsäkert.[1]

Referenser

  1. ^ Pierce, Benjamin C. (2002). Types and programming languages. MIT Press. ISBN 0-585-44269-X. OCLC 51958338. https://www.worldcat.org/oclc/51958338. Läst 24 november 2019