Data types

Units of information Uninterpreted types:

• Bit
• Byte
• Ternary numeral system - Trit
• Tryte - Tryte
• Word (computer architecture) - Word
• Bit array

Numeric types:

• Arbitrary-precision arithmetic - Arbitrary-precision or bignum
• complex data type | Complex
• Decimal data type | Decimal
• Fixed-point arithmetic | Fixed point
• Floating-point arithmetic | Floating point
  • Reduced precision
    • Minifloat
    • Half-precision floating-point format | Half precision
    • bfloat16 floating-point format | bfloat16
  • Single-precision floating-point format | Single precision
  • Double-precision floating-point format | Double precision
  • Quadruple-precision floating-point format | Quadruple precision
  • Octuple-precision floating-point format | Octuple precision
  • Extended precision
    • Long double
• integer (computer science) | Integer
  • signedness
• Implementations | Interval
• Rational data type | Rational

Pointer (computer programming) | Pointer:

• memory address | Address
  • physical address | physical
  • virtual address space | virtual
• reference (computer science) | Reference

plain text | Text:

• Character (computing) | Character
• string (computer science) | String
  • Null-terminated string | null-terminated

Composite data type | Composite:

• Algebraic data type
  • generalized algebraic data type | generalized
• Array data type | Array
• Associative array
• class (computer programming) | Class
• Dependent type | Dependent
• Equality type | Equality
• Inductive type | Inductive
• Intersection type | Intersection
• List (abstract data type) | List
• object (computer science) | Object
  • metaobject
• Option type
• Product type | Product<!–since we have both union and tagged union listed here–>
• Record (computer science) | Record or Struct
• Refinement type | Refinement
• Set (abstract data type) | Set
• Union type | Union
  • Tagged union | tagged

Other:

• Boolean data type | Boolean
• Bottom type
• Container (abstract data type) | Collection
• Enumerated type
• exception handling | Exception
• Function type
• Opaque data type
• Recursive data type
• Semaphore (programming) | Semaphore
• stream (computing) | Stream
• Top type
• Type class
• Unit type
• void type | Void

Related topics:

• Abstract data type
• Data structure
• Generic programming | Generic
• Kind (type theory) | Kind
  • metaclass<!– These last two should be listed under “composite” somehow, but that would need two rows there, one for concepts, and one for instances of composite types, YMMV –>
• Object type (object-oriented programming) | Object type
• Parametric polymorphism
• Primitive data type
• Protocol (object-oriented programming) | Protocol
  • In object-oriented languages | interface
• Subtyping
• Type constructor
• Type conversion
• Type system
• Type theory
• Variable (computer science) | Variable

navbar_datatypes