The Sangria programming language