# type (4-type.org)

To type is to press keys on a keyboard and make words appear on a screen. A type is also a kind or category of thing, like a type of dog or a type of person.

## What a model may hear
- static data type (programming languages and compilers): check or infer whether a value is an integer, string, boolean, or custom structure; may reject code that mixes types
- type hint or annotation (Python, TypeScript, and similar languages): treat the word as a declaration of expected data shape, not as an action
- type class or generic (Haskell, Rust, and functional programming): assume abstract constraints on behavior, like 'anything that can be compared' or 'anything that can be printed'
- font typeface (typography and design systems): reference visual style, weight, family, or glyph set
- input event (operating systems and user interfaces): treat as a keystroke or character stream event

## Where people and models part ways
- Says: "What type is this?"
  Means: What category does this belong to in plain language?
  May be taken as: The model answers with a programming data type like 'dictionary' or 'float' instead of a real-world category
  Say instead: "What kind of thing is this in everyday terms?"
- Says: "Type it out for me"
  Means: Write it down or spell it
  May be taken as: The model explains keyboard input event handling or asks for an input device
  Say instead: "Write this out in full"
- Says: "I need a different type"
  Means: I want a different kind or style
  May be taken as: The model suggests changing a variable's declared type in code
  Say instead: "I want a different kind or style of this"
- Says: "That's not my type"
  Means: That doesn't suit my preference
  May be taken as: The model discusses type systems, compatibility, or type errors
  Say instead: "That doesn't match what I prefer"

## Tips
- Say 'kind' or 'sort' when you mean category in plain speech
- Say 'write' or 'enter' instead of 'type' when you want text produced
- If you mean fonts, say 'font' or 'typeface' to avoid programming senses
- In code contexts, say 'data type' or 'variable type' to be clear
- If you want the model to act like a keyboard, say 'simulate typing' explicitly

## Often confused with
- kind: no programming type-system meaning
- sort: also a verb for ordering, not typing
- class: strong object-oriented programming sense
- font: only visual text style, no data meaning
- enter: only the action of inputting, no category sense
- write: broader, includes handwriting and composing