annotate fvector.yeti @ 21:6c5d2fe1b260

Some fixes to file opening & playback

module fvector;

import java.util: Arrays;

zeros n =
    new double[n];

ones n =
   (a = zeros n;
    for [0..n-1] do i:
        a[i] := 1.0;
    done;
    a);

vector l is list?<number> -> ~double[] =
   (arr = array(l);
    len = length arr;
    v = zeros len;
    for [0..len-1] do i:
        v[i] := arr[i];
    done;
    v);

list' a is ~double[] -> list<number> =
    list a;

length' =
    length . list';

copyOf v is ~double[] -> ~double[] =
    Arrays#copyOf(v, list' v |> length);

subset v start len is ~double[] -> number -> number -> ~double[] =
    Arrays#copyOfRange(v, start, start + len);

{
zeros, ones,
vector,
length = length',
list = list',
copyOf, subset,
}