TACPOL, ou le langage de programmation tactique, est un langage conçu pour être utilisé dans les environnements militaires et autres environnements hautement réglementés. Il est basé sur le langage de programmation Ada et partage de nombreuses caractéristiques avec d'autres langages basés sur Ada, tels que SPARK.
TACPOL a été conçu dans un souci de sûreté et de sécurité et, à ce titre, il comporte des fonctions qui contribuent à prévenir les erreurs et à appliquer les politiques de sécurité. Par exemple, TACPOL exige que toutes les variables soient déclarées avant d'être utilisées, et il fournit une vérification stricte des types pour aider à prévenir la corruption accidentelle des données. TACPOL comprend également un certain nombre de fonctions de sécurité intégrées, telles que la prise en charge des signatures numériques et du cryptage.
TACPOL est un langage relativement nouveau et, à ce titre, il n'est pas encore largement utilisé. Cependant, il a été adopté par un certain nombre d'organisations militaires et d'autres organisations hautement réglementées, et il est probable qu'il sera de plus en plus utilisé à l'avenir.