Vig

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.