Union Types - language feature

Example from 1 languages: TypeScript

declare type numOrString = string | number

Example from 1 languages: GraphQL

union SearchResult = Human | Droid | Starship

Example from 1 languages: Gleam

type IntOrFloat {
  AnInt(Int)
  AFloat(Float)
}
fn int_or_float(x: IntOrFloat) {
  case x {
    AnInt(1) -> "It's an integer: 1"
    AFloat(1.0) -> "It's a float: 1.0"
  }
}

Example from 1 languages: C3

union Foo
{
  int x;
  float f;
  struct
  {
    char[2] z;
  }
}

Languages with Union Types include TypeScript, GraphQL, Gleam, C3, C2

View all concepts with or missing a hasUnionTypes measurement

Read more about Union Types on the web: 1.

View source

PLDB - Build the next great programming language · Add · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll