Programming languages for efficient computation Posted by Artem Kaznatcheev, at cstheory.stackexchange.com, 24 Feb 2011 It is impossible to write a programming language that allows all machines that halt on all inputs and no others. However, it…