This article introduces the V language, a purely functional programming language with a novel approach to records. Based on a system of type traits, V attempts to solve issues commonly found when manipulating records in ...