The author discusses their experimentation with union types and option types across programming languages, particularly in their custom low-level language Copper. They explore how union types allow values to hold one of several alternative types, with special handling for Pointer|Nothing patterns using NULL discrimination for performance.
Background
Union and option types are fundamental concepts in type system design, used to represent values that can be one of several types or optionally absent.
- Source
- Lobsters
- Published
- Nov 2, 2026 at 08:01 PM
- Score
- 5.0 / 10