In the Array.Destination, the alloc function has type
alloc :: Int -> (DArray a #-> ()) #-> Vector a
This is saying that our type of immutable array is Vector a. There is nothing wrong with it, to be honest. The vector library is standard enough to be part of a standard library at this point. I just want to make sure that we all agree on this.
In the
Array.Destination, theallocfunction has typeThis is saying that our type of immutable array is
Vector a. There is nothing wrong with it, to be honest. The vector library is standard enough to be part of a standard library at this point. I just want to make sure that we all agree on this.