ტიპის სისტემა
 | ამ სტატიას ან სექციას ვიკიფიცირება სჭირდება ქართული ვიკიპედიის ხარისხის სტანდარტების დასაკმაყოფილებლად. იმ შემთხვევაში, თუ არ იცით, თუ რა არის ვიკიფიცირება, იხ. დახმარების გვერდი. სასურველია ამის შესახებ აცნობოთ იმ მომხმარებლებსაც, რომელთაც მნიშვნელოვანი წვლილი მიუძღვით სტატიის შექმნაში. გამოიყენეთ: {{subst:ვიკიფიცირება/info|ტიპის სისტემა}} |
 | ამ სტატიაში არ არის მითითებული სანდო და გადამოწმებადი წყარო. |
კომპიუტერულ პროგრამირებაში, ტიპის სისტემა არის ის ლოგიკური სისტემა, რომელიც ანიჭებს ტიპს ყოველივე ტერმინს გარკვეული წესების მიხედვით.[1] ტიპის სისტემა კარნახობს იმ ოპერაციებს, რომლებიც შეიძლება შესრულდეს ტერმინზე. ცვლადებისთვის, ტიპის სისტემა განსაზღვრავს მათთვის დაშვებულ მნიშვნელობებს.
ტიპის სისტემები ხშირად მოიხსენიება როგორც პროგრამირების ენების ნაწილი და ჩაშენებულია ინტერპრეტატორებსა და კომპილატორებში, თუმცა ენის ტიპის სისტემა შესაძლებელია განივრცოს.
სქოლიო
[რედაქტირება | წყაროს რედაქტირება]- ↑ Pierce, Benjamin C. "Types and Programming Languages." MIT Press, 2002.