A new trend in programming languages (or in avoiding programming languages). Thanks to Simon Gay for spotting. One summary here.