/// 比较并返回两个值中较大的那一个。
///
/// 如果两个值相等则返回第二个值。
///
pub fn max[T : Compare](x : T, y : T) -> T {
  if x > y {
    x
  } else {
    y
  }
}

/// 比较并返回两个值中较小的那一个。
///
/// 如果两个值相等则返回第二个值。
///
pub fn min[T : Compare](x : T, y : T) -> T {
  if x < y {
    x
  } else {
    y
  }
}

/// 可相加的接口。
pub trait Add  {
  op_add(Self, Self) -> Self
}

/// 将数组每一个元素按顺序相加。
///
pub fn sum[T : Add + Default](a : Array[T]) -> T {
  let len = a.length()
  for rv = T::default(), i = 0
    i < len
    rv = rv + a[i], i = i + 1 {
  } else { rv }
}

test "math" {
  assert_eq(max(6, 8), 8)
  assert_eq(max(8, 6), 8)
  assert_eq(min(6, 8), 6)
  assert_eq(min(8, 6), 6)
  assert_eq(sum([1, 2, 3, 4, 5]), 15)
  assert_eq(sum([]), 0)
  assert_eq(sum(["hello, ", "world"]), "hello, world")
  assert_eq(sum([]), "")
}