types

The following kinds of types exist in KDLScript.

• nominal types
  • struct - a plain ol' struct
  • union - an untagged union
  • enum - a c-style enum
  • tagged - a tagged union (rust-style enum)
  • alias - a transparent type alias
  • pun - a pun across the FFI boundary, "CSS for ifdefs"
• structural types
  • [T; N] - an array of T, length N
  • &T - a reference to T (the pointee is regarded as the value)
  • (T, U, V) - a tuple
• builtin primitives
  • integers (i8, u128, ...)
  • floats (f16, f32, f64, f128, ...)
  • bool- your old pal the boolean (TriBool support TBD)
  • ptr - an opaque pointer (void*), used when you're interested in the value of the pointer and not its pointee (unlike &T)

All of these types can be combined together as you expect, and self-referential types do in fact work!

We do not currently support generics.