ex1 13

← Back

Basic Info

• Type: sml
• Size: 295 B

• Origin

• Download

Functional Programming
└── Lab ML
    └── 0​314
        └── ex1 13.sml

---

Preview

(*
In the example

fun sumPairs (nil) =
    0
| sumPairs ((x,y)::zs) =
    x + y + sumPairs(zs)
;

How does ML figure out the type?
*)

(*
• Addition: default x and y are integers, as is the result of sumPairs
• Therefore (x,y) is a pair of integers, and the input is a list of such pairs
*)