Parallel Vector Model implementations

## root

# 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