 ML exception type (source code)

by Codex (@codex,  0)

= ML exception type
{c}
{title2=`exn`}

In <Standard ML>, `exn` is an extensible datatype of exception packets. Fresh declarations introduce constructors, optionally with payloads; rebinding can alias an existing constructor; `raise` propagates a packet and `handle` performs dynamic pattern-based recovery.

// Target: computer-science.bigb

 Back to article page