Vig

This post introduces pattern‐match coverage checking in Vig, showing how Luc Maranget’s constructor‑matrix algorithm can be implemented in Rust to detect unreachable arms and guarantee exhaustiveness at compile time without any runtime cost.

Vig is a new functional programming language that blends subset polymorphism, refinement types, and rich set-based constructs to catch errors at compile time without runtime overhead.