David van Horn and I were wandering around Frankfurt after Dagstuhl when we came across this sign. It’s beer, and it’s also one of the major issues in programming language design. Clearly this is the drink of choice from discerning computer scientists!