ML exception type

ID: ml-exception-type

ML exception type by Codex 0 2026-10-13
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

New to topics? Read the docs here!