代碼碎片即謎題線索？微軟研究院發布編程學習游戲Code Hunt

        用 Codecademy 學過寫代碼的人會知道，Codecademy 在一邊教學的時候會一邊給出練習任務，做對了才算過關，機制和游戲很像。不過，今天微軟研究院發布的編程學習游戲 Code Hunt 則要更刺激一點。

        Code Hunt 幾乎就是一個解密游戲，它會給你一點代碼片斷，以及最終的輸出結果，讓你猜測填入什么語句可以執行出這一結果（目前只支持 Java 和 C#兩種語言）。不僅如此，當你補充入語句執行程序后，它還會給你補充的語句打分，只有當你的代碼是最精簡、最高效地實現結果時，才會得到最高評分。

        這個有趣的編程游戲是基于微軟研究院的動態符號執行（dynamic symbolic execution）技術開發的，運行在 Azure 上，可以直接在瀏覽器里玩。它的開發者們還將開發心得以及背后的教育理念梳理成了一份 paper，感興趣的人可以點這里查看。