代码碎片即谜题线索？微软研究院发布编程学习游戏Code Hunt

        用 Codecademy 学过写代码的人会知道，Codecademy 在一边教学的时候会一边给出练习任务，做对了才算过关，机制和游戏很像。不过，今天微软研究院发布的编程学习游戏 Code Hunt 则要更刺激一点。

        Code Hunt 几乎就是一个解密游戏，它会给你一点代码片断，以及最终的输出结果，让你猜测填入什么语句可以执行出这一结果（目前只支持 Java 和 C#两种语言）。不仅如此，当你补充入语句执行程序后，它还会给你补充的语句打分，只有当你的代码是最精简、最高效地实现结果时，才会得到最高评分。

        这个有趣的编程游戏是基于微软研究院的动态符号执行（dynamic symbolic execution）技术开发的，运行在 Azure 上，可以直接在浏览器里玩。它的开发者们还将开发心得以及背后的教育理念梳理成了一份 paper，感兴趣的人可以点这里查看。