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]
Referenser redigera
- ^ 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