That’s a bounded ring buffer, not a fixed length array. This definitely isn’t a tuple because the types are all the same, which is pretty crucial for matrix operations. Matrix libraries generally work on arrays of known dimensionality, or sparse representations. Whether we draw any semantic link between the frozen list and whatever we do here, it is fundamentally a frozen list with a restriction on its size. What we’re defining here are “statically” sized arrays, whereas a frozen list is essentially a dynamically sized array. I do not think vector is a good name because vector is used in some other popular languages to mean a (dynamic) list, which is confusing when we also have a list concept. I’m fine with just using the FLOAT[N] syntax, and drawing no direct link with list. Though it is a bit strange that this particular type declaration looks so different to other collection types. On 27 Apr 2023, at 16:48, Jeff Jirsa <jji...@gmail.com> wrote:
|
- [DISCUSS] New data type for vector search Jonathan Ellis
- Re: [DISCUSS] New data type for vector search David Capwell
- Re: [DISCUSS] New data type for vector sea... David Capwell
- Re: [DISCUSS] New data type for vector search Benedict Elliott Smith
- Re: [DISCUSS] New data type for vector sea... Mick Semb Wever
- Re: [DISCUSS] New data type for vector... Andrés de la Peña
- Re: [DISCUSS] New data type for ve... Jonathan Ellis
- Re: [DISCUSS] New data type f... Jeff Jirsa
- Re: [DISCUSS] New data ty... Benedict
- Re: [DISCUSS] New dat... David Capwell
- Re: [DISCUSS] New dat... Josh McKenzie
- Re: [DISCUSS] New dat... Anthony Grasso
- Re: [DISCUSS] New dat... Caleb Rackliffe
- Re: [DISCUSS] New dat... steve landiss via dev
- Re: [DISCUSS] New dat... Benedict
- Re: [DISCUSS] New dat... Jonathan Ellis
- Re: [DISCUSS] New dat... Benedict
- Re: [DISCUSS] New dat... Jonathan Ellis
- Re: [DISCUSS] New dat... Benedict