TACPOL, ou a linguagem de programação táctica, é uma linguagem concebida para utilização em ambientes militares e outros ambientes altamente regulamentados. Baseia-se na linguagem de programação Ada e partilha muitas características com outras linguagens baseadas em Ada, tais como a SPARK.
A TACPOL foi concebida tendo em mente a segurança, e como tal, inclui características que ajudam a prevenir erros e a aplicar políticas de segurança. Por exemplo, TACPOL exige que todas as variáveis sejam declaradas antes de poderem ser utilizadas, e proporciona uma verificação rigorosa do tipo para ajudar a prevenir a corrupção acidental de dados. TACPOL inclui também uma série de características de segurança incorporadas, tais como suporte para assinaturas digitais e encriptação.
TACPOL é uma língua relativamente nova, e como tal, ainda não é amplamente utilizada. No entanto, tem sido adoptado por várias organizações militares e outras altamente regulamentadas, e é provável que venha a ser utilizado cada vez mais no futuro.