Typsäkerhet

garanti inom ett programspråk

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]


ReferenserRedigera

  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