variant4.re

type scalar = [ | `Fraction(int, int) | `Decimal(float)];
type value = [ scalar | `Vector(list(scalar)) | `nan];

let addScalar = (a, b) =>
  switch (a, b) {
  | (`Fraction(n1, d1), `Fraction(n2, d2)) =>
    `Fraction((n1 * d2 + n2 * d1, d1 * d2))
  | (`Fraction(n, d), `Decimal(f))
  | (`Decimal(f), `Fraction(n, d)) =>
    `Decimal(f *. float_of_int(n) /. float_of_int(d))
  | (`Decimal(f1), `Decimal(f2)) =>
    `Decimal(f1 *. f2)
  };

let add = (a, b) =>
  switch (a, b) {
  | (#scalar as a, #scalar as b) => addScalar(a, b)
  | (`Vector(a), `Vector(b)) => `Vector(List.map2(addScalar))
  | _ => `nan
  };