里面是翻译成如何设计程序，其实就是HtDP的中文版。大名鼎鼎的Howtodesignprograms中文版，MIT的教材。如果不知道此书，请百度。