🇬🇧 en de 🇩🇪

type noun

  /taɪp/
  • A grouping based on shared characteristics; a class.
 Typ, Art
  • (mathematics) A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed theory). (Note: this corresponds to the notion of "data type" in computing theory.)
 Typ, Typus
  • (printing, countable) A letter or character used for printing, historically a cast or engraved block.
 Letter, Type
  • An individual that represents the ideal for its class; an embodiment.
 Typ

type verb

  /taɪp/
  • To enter text or commands into a computer using a keyboard.
  • To represent by a type, model, or symbol beforehand; to prefigure.
 tippen, Maschine schreiben, maschinenschreiben, maschineschreiben, maschinschreiben, mit der Schreibmaschine schreiben

typed adjective

maschinengeschrieben

typing noun

  /ˈtaɪpɪŋ/
  • The act of typing on a keyboard.
 Maschinenschreiben, Tippen
touch typing
Tastschreiben, Zehnfingersystem
duck typing
Duck-Typing
dynamic typing
dynamische Typisierung
static typing
statische Typisierung
typing error
Tippfehler

🇩🇪 de en 🇬🇧

Duck-Typing
duck typing
Wiktionary Links