For those of you that don't mind a little insecurity if only your vector accesses don't have bounds checks, here are some unchecked operations on vectors.
These operations work on ordinary vectors, so you can mix checked and unchecked operations on the same vectors.
In an ideal world (which we're working on, in principle) the compiler would let you use the ordinary checked operations and then optimize the checks away in a safe and efficient manner.
val sub : ('a vector * int) -> 'a
val create : (int * 'a list) -> 'a vector
sub (vec, i)
create (i, l)
MONO_VECTOR, UNSAFE_MONO_VECTOR, Unsafe.Array
Last Modified October 28, 1997
Comments to firstname.lastname@example.org
Copyright © 1998 Bell Labs, Lucent Technologies