Let's make a programming language where everything is a set. No loops. But not functions either. You have to construct functions from sets. Computer Science Mathematics Set Theory Software Engineering