purescript-sized-vectors
purescript-sized-vectors copied to clipboard
`sized-vectors` vs `fast-vect`
Since the latest major release, PureScript now has typelevel Integers. This makes the approach used in this library obsolete.
I am not sure if it makes sense to update to the new type level integers because there's now fast-vect from @sigma-andex that already does that.
So my questions are:
- Is there still anything that one would chose
sized-vectorsin favor offast-vect? - If not, should we maybe add a deprecation note and refer to
fast-vect?
What do you think?