#7 No aggregate functions exist

[michael j lawley]

For example, I can't sum up a collection of values easily:

sample code:

FORALL FruitBowl b
WHERE sum = sum(funmap(b.fruit{}, "price"))

or

FORALL FruitBowl b
WHERE sum = sum(b.fruit{}->price())