English edit

Etymology edit

type +‎ state

Noun edit

typestate (countable and uncountable, plural typestates)

  1. (programming) Information stored with a variable indicating its current data type.