This page concerns the
+ operator on numbers; for the
operator on types, see sum types; for
+ operator on graphs, see overlay.
Values of all numeric types can be added using the
operator. For example:
Disco> 1 + 2 3 Disco> (-5) + 2/3 -13/3
If you ask for the type of
+, you get
Disco> :type + ~+~ : ℕ × ℕ → ℕ
which says that it is a function taking a pair of natural numbers and returning a natural number. However, as mentioned above, it also works on other numeric types such as integers and rational numbers.