Languages
- A discriminated union models distinct states with a common literal field.
- Narrow unknown input through validation before trusting its properties.
- Use never in exhaustive branches so new variants trigger compile-time review.

Languages · Original AlgoGym revision note with a source for deeper study.