En informática , un lenguaje ensamblador mecanografiado ( TAL ) es un lenguaje ensamblador que se extiende para incluir un método de anotar el tipo de datos de cada valor que es manipulado por el código. Estas anotaciones pueden luego ser utilizadas por un programa (verificador de tipos) que procesa el código en lenguaje ensamblador para analizar cómo se comportará cuando se ejecute. Específicamente, dicho verificador de tipo se puede utilizar para probar la seguridad de tipo del código que cumple con los criterios de algún sistema de tipo apropiado .
Los lenguajes ensambladores escritos por lo general incluyen un sistema de administración de memoria de alto nivel basado en la recolección de basura .
Se puede utilizar un lenguaje ensamblador mecanografiado con un sistema de tipos adecuadamente expresivo para permitir la ejecución segura de código no confiable sin usar una representación intermedia como bytecode , lo que permite características similares a las que ofrecen actualmente los entornos de máquinas virtuales como Java y .NET .