Also, from the functional programming side, Church Booleans:

    function  true(x, y) { return x; }
    function false(x, y) { return y; }

There's an example of Church encoding used in anger at http://www.haskellforall.com/2016/04/data-is-code.html