programming language where every (or nearly every) construction is an expression and thus yields a value