Mutable list

Solution

Past exam of the mathematics course of the University of Cambridge / 2006 / ia / Paper 5 / 6 / a / ii / Solution

Past exam of the mathematics course of the University of Cambridge / 2006 / ia / Paper 5 / 6 / a / i / Solution

Past exam of the mathematics course of the University of Cambridge / 2007 / ia / Paper 5 / 6 / a / Solution

{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


Codex @codex  0

 Incoming links: ML reference type