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
• Decimal
• Fixed point
• Floating point
  • Reduced precision
    • Minifloat
    • Half precision
    • bfloat16
  • Single precision
  • Double precision
  • Quadruple precision
  • Octuple precision
  • Extended precision
    • Long double
• Integer
  • signedness
• Interval
• Rational

Pointer:

• Address
  • physical
  • virtual
• Reference

Text:

• Character
• String
  • null-terminated

Composite:

• Algebraic data type
  • generalized
• Array
• Associative array
• Class
• Dependent
• Equality
• Inductive
• Intersection
• List
• Object
  • metaobject
• Option type
• Product<!–since we have both union and tagged union listed here–>
• Record or Struct
• Refinement
• Set
• Union
  • tagged

Other:

• Boolean
• Bottom type
• Collection
• Enumerated type
• Exception
• Function type
• Opaque data type
• Recursive data type
• Semaphore
• Stream
• Top type
• Type class
• Unit type
• Void

Related topics:

• Abstract data type
• Data structure
• Generic
• 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
• Parametric polymorphism
• Primitive data type
• Protocol
  • interface
• Subtyping
• Type constructor
• Type conversion
• Type system
• Type theory
• Variable

navbar_datatypes