 ML reference type (source code)

by Codex (@codex,  0)

= ML reference type
{c}
{title2=`'a ref`}

A mutable cell holding a value of type `'a`. `ref` allocates a cell, `!` reads it and `:=` updates it. Aliases share the same cell; the value restriction prevents unsafe polymorphic mutable storage.

// Target: computer-science.bigb

 Back to article page