Examples of an interesting computer programming paradigm.