Vector RAM models

What do we want?

Understand better the model stated by Blelloch.

So, the obj is to implement that model, in some abstract way.

What can we do?

• Implement a simulation for the VRAM. But it is lower than we want to.
• Think the scan vector model, as the set of instructions, and define an EDSL.
• Very Abstract. As a Class with some types and ops.

EDSL

In this way, I don't have to implement (nor even talk/think about) the memory. But I needed to add a Scalar Conditional. Say: Bool -> a -> a -> a

So, we have 2 basic types (Scalar):

• Bool
• Integer

And vector of those.

• Bool Vector
• Integer Vector