[MLton] Monadic MLton.Vector.create with update

Stephen Weeks MLton@mlton.org
Thu, 30 Mar 2006 08:21:37 -0800


> Perhaps, vector create is too ambitious. I'd be happier with an unfold 
> operation. 

We already have that.  

  http://mlton.org/MLtonVector

> It also avoids the need for a dummy initial value too.

No dummy value is required in the implementation of Vector.create
using primitive operations.