ტიპის სისტემა

კომპიუტერულ პროგრამირებაში, ტიპის სისტემა არის ის ლოგიკური სისტემა, რომელიც ანიჭებს ტიპს ყოველივე ტერმინს გარკვეული წესების მიხედვით.Pierce, Benjamin C. "Types and Programming Languages." MIT Press, 2002. ტიპის სისტემა კარნახობს იმ ოპერაციებს, რომლებიც შეიძლება შესრულდეს ტერმინზე. ცვლადებისთვის, ტიპის სისტემა განსაზღვრავს მათთვის დაშვებულ მნიშვნელობებს.

ტიპის სისტემები ხშირად მოიხსენიება როგორც პროგრამირების ენების ნაწილი და ჩაშენებულია ინტერპრეტატორებსა და კომპილატორებში, თუმცა ენის ტიპის სისტემა შესაძლებელია განივრცოს.

სქოლიო
კატეგორია:მონაცემთა ტიპები