Skip to main content
Glite Dictionary
💻 Has a data type 🧬 Can be classified ⌨️ Can be typed
typeable

typeable

7.0
Can be given a data kind by a programming language
  • adjective
  • /ˈtaɪpəbl/
  • Specialized
translation icon : tipable
  • In programming, a variable is considered typeable if it can be assigned a specific data type.

Examples

  • Typeable instances have nothing to do with Haskell's extensible exceptions per se.

    Blog text (16)

  • You have simply used your own Typeable instance together with exceptions.

    Blog text (16)

  • instance Typeable Foo where.

    Blog text (16)

  • Sixteen isolates (8%) were not typeable because the specimens were inadequate.

    Academic text (2012)

  • The connection with exceptions is that they force you to have Typeable because they are done improperly using casts rather than pattern matching against a multi-class type.

    Blog text (16)

  • The library includes many typeable data structures that enhance type safety in your code.

  • When creating a new class in the application, ensure it is typeable for better integration with the type system.

Synonyms

typable
vstypeable
  • Specialized
1 7.9

Can be given a label like number or text by a programming language

is the same meaning but spelled with an extra e letter

Surface Forms

typeable positive

Morphology

typeable = type (semi-transparent) = type + able

Form is transparently verb 'type' + '-able', but the precise sense 'assignable a data type' is domain-specific to programming and may not be inferable to a general B1 learner.

Etymology

The word typeable comes from type meaning 'kind' or 'label' and the ending -able meaning 'can be'. So in programming, something typeable is 'able to be given a type' by the language, which explains the modern meaning.