Typsäkerhet

Typsystem
Allmänt
Huvudkategorier
Övriga kategorier
  • Beroende
  • Flödeskänslig
  • Gradvis
  • Snitt
  • Latent
  • Förfinande
  • Substrukturell
  • Unik
Se även
  • Stark och svag typing

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