Gamification—the application of game design principles to non-gaming contexts—has gained a foothold in a wide variety of industries and disciplines, including one that may seem to be a very strange bedfellow indeed: the wide august field of learning.