Non-strict programming language