À questão lançada pelo consulente Paulo Morgado, gostava de fazer notar que o termo typed, em contexto de Ciência de Computadores (da Matemática e da Lógica), remete para a Teoria de Tipos, inicialmente desenvolvida por Bertrand Russel enquanto alternativa ao modelo axiomático de Frege — c.f.: Principia Mathematica.

Para esta palavra não existe correspondente em português — tanto quanto fui capaz de constatar pelos dicionários —, mas é muito frequente encontrar textos que empregam o verbo tipar e o adjectivo tipado para se referir às características de uma estrutura que remete para a Teoria de Tipos — e. g.: «Haskell é uma linguagem fortemente tipada.»