TACPOL

TACPOL alebo taktický programovací jazyk je jazyk určený na použitie vo vojenskom a inom vysoko regulovanom prostredí. Je založený na programovacom jazyku Ada a má mnoho spoločných vlastností s inými jazykmi založenými na jazyku Ada, ako je napríklad SPARK. TACPOL bol navrhnutý s ohľadom na bezpečnosť a zabezpečenie, a preto obsahuje funkcie, ktoré pomáhajú predchádzať chybám a presadzovať bezpečnostné politiky. TACPOL napríklad vyžaduje, aby boli všetky premenné deklarované pred ich použitím, a poskytuje prísnu typovú kontrolu, ktorá pomáha predchádzať náhodnému poškodeniu údajov. TACPOL obsahuje aj niekoľko zabudovaných bezpečnostných funkcií, napríklad podporu digitálnych podpisov a šifrovania. TACPOL je relatívne nový jazyk, a preto sa ešte bežne nepoužíva. Prijali ho však viaceré vojenské a iné organizácie s vysokou mierou regulácie a je pravdepodobné, že v budúcnosti sa bude používať čoraz častejšie.