A strict functional programming language with parametric polymorphism, algebraic datatypes, exception handling and mutable references.
// Target: computer-science.bigb
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
Articles by others on the same topic
There are currently no matching articles.