athas / vector

Futhark vectors with statically known size

Static vectors for Futhark

A Futhark library for efficient statically-sized vectors. This is useful when working with many small vectors that do not need to be individually stored in memory.

Installation

$ futhark pkg add github.com/athas/vector
$ futhark pkg sync

Usage example

import "lib/github.com/athas/vector/vector"
module vector_2 = cat_vector vector_1 vector_1
module vector_3 = cat_vector vector_2 vector_1
module vector_5 = cat_vector vector_2 vector_3
module vector_8 = cat_vector vector_5 vector_3

def main (xs: [vector_8.length]i32) =
  xs
  |> vector_8.from_array
  |> vector_8.map (+1)
  |> vector_8.to_array

vector's Issues

[help-wanted] The example does't work

Hello.
When I follow the Usage example:

import "lib/github.com/athas/vector/vector"
module vector_2 = cat_vector vector_1 vector_1
module vector_3 = cat_vector vector_2 vector_1
module vector_5 = cat_vector vector_2 vector_3
module vector_8 = cat_vector vector_5 vector_3

let main (xs: [vector_8.length]i32) =
  xs
  |> vector_8.from_array
  |> vector_8.map (+1)
  |> vector_8.to_array

this error ocurried:
Dimensions "vector_8.length" and "8" do not match.

I can't fix it. Please help.