Efficient implementation of aggregates in united functions and objects

We discuss the problem of efficiently implementing functional aggregates in the new language United Functions and Objects(UFO)[9]. Our method is applicable to any high-order call-by-value functional language with nested aggregates. The novelty and originality in our work are as follows. (1) We introduce the concepts of group and degree. Through partitioning operations into groups and evaluating their degrees, the algorithm can schedule the most likely operation to be done in place. (2) Through introducing a new method of sharing counting, we can achieve storage reuse for nested aggregates. (3) Our pre-allocation strategy puts both incremental construction and incremental modification of aggregates into a unified framework, and so more global optimizations can be achieved. The time complexity of the algorithm is polynomial, and in common cases, it is linear to program size.