+ (left right -- sum)

Inputs

• left: Left input value.
• right: Right input value.

Outputs

• sum: Sum value.

This builtin accepts whole and real numbers. Both inputs are dereferenced and must be non-NIL. The operands must have the same schema.

Behavior

• Whole-number schemas use integer addition semantics.
• Real schemas use floating-point addition semantics.
• If both operands are known at compile time, the result is computed at compile time.
• If either operand is known 0, the result preserves the other operand's schema. If that other operand is unknown, the result remains unknown.
• Otherwise, the builtin produces an unknown result of the same schema.

Example

{} () {} [
  unknownInt: 7 dynamic;

  "-- int32 --" printCompilerMessage
  3 4 + printStack _:;
  0 7 + printStack _:;
  7 0 + printStack _:;

  "-- zero with unknown int32 --" printCompilerMessage
  0 unknownInt + printStack _:;

  "-- real32 --" printCompilerMessage
  2.5r32 4.0r32 + printStack _:;
] "main" exportFunction

Expected Output During Compilation

-- int32 --
7
7
7
-- zero with unknown int32 --
Int32
-- real32 --
6.5r32

See also

• * builtin (multiplicand multiplier -- product) Multiplies two numeric values.
• - builtin (minuend subtrahend -- difference) Subtracts the second numeric value from the first.
• / builtin (dividend divisor -- quotient) Divides numeric values within the same schema; Whole division stays whole, while Real schemas use floating division.
• mod builtin (dividend divisor -- remainder) Computes the remainder of numeric division; signed Int, unsigned Nat, and Real values each follow their own remainder semantics.
• neg builtin (value -- negatedValue) Negates a signed Int or Real value and keeps the same schema.