The Lamb programming language