1.1文学程序文学程序(literate program):接口及其实现的代码与对其进行解释的正文交织在一起。文学程序由英文正文和带标签的程序代码块组成。例如,1 〈compute x * y〉≡ 2 sum = 0; 3 for (i = 0; i 2... Read More
posted @ 2014-07-27 23:02 thinker-lj Views(510) Comments(0) Diggs(0) Edit