TACPOL

TACPOL, neboli taktický programovací jazyk, je jazyk určený pro použití ve vojenském a jiném vysoce regulovaném prostředí. Je založen na programovacím jazyce Ada a má mnoho společných rysů s dalšími jazyky založenými na Adě, jako je například SPARK. TACPOL byl navržen s ohledem na bezpečnost a zabezpečení, a proto obsahuje funkce, které pomáhají předcházet chybám a prosazovat bezpečnostní zásady. TACPOL například vyžaduje, aby byly všechny proměnné před jejich použitím deklarovány, a poskytuje přísnou typovou kontrolu, která pomáhá zabránit náhodnému poškození dat. TACPOL také obsahuje řadu vestavěných bezpečnostních funkcí, například podporu digitálních podpisů a šifrování. TACPOL je relativně nový jazyk, a proto zatím není příliš rozšířený. Přijala jej však řada vojenských a jiných vysoce regulovaných organizací a je pravděpodobné, že se v budoucnu bude používat stále častěji.