Union types + pattern matching (eventually)

[thosakwe]

Extremely hypothetical. Might be unnecessarily complex.

type Circle { radius: Int }
type Triangle { base: Int, height: Int }
type Shape = Circle | Triangle

fn area (shape: Shape): Double =>
  match shape {
    Circle => math::Circle::PI * (math::pow(shape.radius, 2))
    Triangle => 0.5 * shape.base * base.height
  }

[thosakwe]

If you have a tuple, then maybe?

type A = (Int, Int)
type B = String
type C = A | B

fn d(c: C) =>
  match c {
    A(a, b) => a * b
    B => c.length
  }