TACPOL, o Lenguaje de Programación Táctica, es un lenguaje diseñado para su uso en entornos militares y otros entornos altamente regulados. Se basa en el lenguaje de programación Ada y comparte muchas características con otros lenguajes basados en Ada, como SPARK.
TACPOL se diseñó pensando en la seguridad, por lo que incluye funciones que ayudan a evitar errores y a aplicar políticas de seguridad. Por ejemplo, TACPOL requiere que todas las variables sean declaradas antes de que puedan ser usadas, y proporciona una estricta comprobación de tipos para ayudar a prevenir la corrupción accidental de datos. TACPOL también incluye una serie de funciones de seguridad integradas, como la compatibilidad con firmas digitales y cifrado.
TACPOL es un lenguaje relativamente nuevo, por lo que aún no está muy extendido. Sin embargo, ha sido adoptado por varias organizaciones militares y otras altamente reguladas, y es probable que su uso aumente en el futuro.