purescript-sized-vectors icon indicating copy to clipboard operation
purescript-sized-vectors copied to clipboard

`sized-vectors` vs `fast-vect`

Open m-bock opened this issue 3 years ago • 0 comments

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-vectors in favor of fast-vect?
  • If not, should we maybe add a deprecation note and refer to fast-vect?

What do you think?

m-bock avatar Dec 23 '22 07:12 m-bock