Language ReferenceTypes and Type SystemTypes and Type SystemSee the following articles to learn more about types and Cadence's type system: Type Annotations Type Safety Type Inference Composite Types Intersection Types Run-time Types Type Hierarchy