В информатике типизированный язык ассемблера ( TAL ) — это язык ассемблера , расширенный за счет включения метода аннотирования типа данных каждого значения, которым манипулирует код. Эти аннотации затем могут использоваться программой (проверкой типов), которая обрабатывает код языка ассемблера, чтобы проанализировать, как он будет вести себя при выполнении. В частности, такую проверку типов можно использовать для доказательства типовой безопасности кода, соответствующего критериям некоторой подходящей системы типов .
Типизированные языки ассемблера обычно включают в себя высокоуровневую систему управления памятью, основанную на сборке мусора .
Типизированный язык ассемблера с достаточно выразительной системой типов может использоваться для обеспечения безопасного выполнения ненадежного кода без использования промежуточного представления, такого как байт-код , обеспечивая функции, аналогичные тем, которые в настоящее время предоставляются средами виртуальных машин, такими как Java и .NET .