码迷,mamicode.com
首页 > Web开发 > 详细

王垠系列博文(题名外挂URL)

时间:2018-02-14 10:41:15      阅读:310      评论:0      收藏:0      [点我收藏+]

标签:dup   真心   list   new   清华   guard   googl   why   工作   

暂且收集了一些链接博文(好水.gif),之后会码成文档。。。

夜宵感悟:才华有,文笔不错,码的码(就留给你们去评了),真心推荐大家看看这些文章,赞不赞同另说!

纵观全局

1、【40行代码】;2、【清华梦的粉碎】;3、【我与Google的故事】;4、Braid—一个发人深思的游戏

5、【对博士学位说永别】;6、【如何掌握程序语言】;7、【完全用Linux工作】;9、【Cornell的感受】

8、【写给支持和反对《完全用Linux工作》的人们】;10、【从工具的奴隶到工具的主人】;11、【我看PhD】

12、【学术腐败是历史的必然】;13、【王垠的过去与现状】;14、一个王垠同学对王垠从清华退学的感受 —— 至于为什么放在最后,END见。

技术分享图片

 

王垠.jpg

 

1、王垠【40行代码】 上半生最重要的杰作,闷头一个星期写出来。

技术分享图片

附代码与他人评论(没几个洞的):https://www.zhihu.com/question/20822815/

2、【清华梦的粉碎】——写给清华大学的退学申请

http://blog.csdn.net/vc2014/article/details/41945379

3、【我与Google的故事】

http://blog.csdn.net/vc2014/article/details/41945435

4、Braid—一个发人深思的游戏

博文:http://blog.csdn.net/unsv29/article/details/50473854

Braid(时空幻境):http://braid-game.com/ 

5、【对博士学位说永别】

http://blog.csdn.net/vc2014/article/details/41945483

开源中国社区,文章后面跟评了很多有趣的话:https://www.oschina.net/news/32707/say-goodbye-to-doctor

6、【如何掌握程序语言】

http://blog.csdn.net/vc2014/article/details/41945685

7、【完全用Linux工作】

背景shai是亮黑(慎入),黑脸问为什么要贴出了,因为它排版好啊:

http://blog.sina.com.cn/s/blog_b83bda47010197if.html

背景正常,排版lowB(不针对贴字作者):

http://blog.csdn.net/wooin/article/details/651085

8、【写给支持和反对《完全用Linux工作》的人们】

里面王垠个人url已失效:http://yinwang0.lofter.com/post/183ec2_479bfc

9、【Cornell的感受】

http://bbs.sciencenet.cn/forum.php?mod=viewthread&tid=6505

10、【从工具的奴隶到工具的主人】

送给学Code的人:http://www.csdn.net/article/2012-09-12/2809847

11、【我看PhD】

http://www.xuebuyuan.com/2156262.html

12、【学术腐败是历史的必然】

http://www.360doc.com/content/16/0416/13/11409172_551092622.shtml

13、【王垠的过去与现状】

里面很多url都失效:https://www.cnblogs.com/zjoch/p/5148305.html

14、一个王垠同学对王垠从清华退学的感受 —— 至于为什么放在最后,END 见。

在【14】的url中文章最后已有(排版等好点):https://club.kdnet.net/dispbbs.asp?boardid=1&id=11045056

 

亚里士多德在《形而上学》中的第一句话是:“每一个人在本性上都想求知。

分割Line----……!*7?……“”“”…******¥%¥#@¥%&&*……*()*……----……!*7?……“”“”…******¥%¥#@

  1 ;; A simple CPS transformer which does proper tail-call and does not
  2 ;; duplicate contexts for if-expressions.
  3  
  4 ;; author: Yin Wang (yw21@cs.indiana.edu)
  5  
  6 (load "pmatch.scm")
  7  
  8 (define cps
  9   (lambda (exp)
 10     (letrec
 11         ([trivial? (lambda (x) (memq x ‘(zero? add1 sub1)))]
 12          [id (lambda (v) v)]
 13          [ctx0 (lambda (v) `(k ,v))]      ; tail context
 14          [fv (let ([n -1])
 15                (lambda ()
 16                  (set! n (+ 1 n))
 17                  (string->symbol (string-append "v" (number->string n)))))]
 18          [cps1
 19           (lambda (exp ctx)
 20             (pmatch exp
 21               [,x (guard (not (pair? x))) (ctx x)]
 22               [(if ,test ,conseq ,alt)
 23                (cps1 test
 24                      (lambda (t)
 25                        (cond
 26                         [(memq ctx (list ctx0 id))
 27                          `(if ,t ,(cps1 conseq ctx) ,(cps1 alt ctx))]
 28                         [else
 29                          (let ([u (fv)])
 30                            `(let ([k (lambda (,u) ,(ctx u))])
 31                               (if ,t ,(cps1 conseq ctx0) ,(cps1 alt ctx0))))])))]
 32               [(lambda (,x) ,body)
 33                (ctx `(lambda (,x k) ,(cps1 body ctx0)))]
 34               [(,op ,a ,b)
 35                (cps1 a (lambda (v1)
 36                          (cps1 b (lambda (v2)
 37                                    (ctx `(,op ,v1 ,v2))))))]
 38               [(,rator ,rand)
 39                (cps1 rator
 40                      (lambda (r)
 41                        (cps1 rand
 42                              (lambda (d)
 43                                (cond
 44                                 [(trivial? r) (ctx `(,r ,d))]
 45                                 [(eq? ctx ctx0) `(,r ,d k)]  ; tail call
 46                                 [else
 47                                  (let ([u (fv)])
 48                                    `(,r ,d (lambda (,u) ,(ctx u))))])))))]))])
 49       (cps1 exp id))))
 50  
 51 ;;; tests
 52  
 53 ;; var
 54 (cps ‘x)
 55 (cps ‘(lambda (x) x))
 56 (cps ‘(lambda (x) (x 1)))
 57  
 58 ;; no lambda (will generate identity functions to return to the toplevel)
 59 (cps ‘(if (f x) a b))
 60 (cps ‘(if x (f a) b))
 61  
 62 ;; if stand-alone (tail)
 63 (cps ‘(lambda (x) (if (f x) a b)))
 64  
 65 ;; if inside if-test (non-tail)
 66 (cps ‘(lambda (x) (if (if x (f a) b) c d)))
 67  
 68 ;; both branches are trivial, should do some more optimizations
 69 (cps ‘(lambda (x) (if (if x (zero? a) b) c d)))
 70  
 71 ;; if inside if-branch (tail)
 72 (cps ‘(lambda (x) (if t (if x (f a) b) c)))
 73  
 74 ;; if inside if-branch, but again inside another if-test (non-tail)
 75 (cps ‘(lambda (x) (if (if t (if x (f a) b) c) e w)))
 76  
 77 ;; if as operand (non-tail)
 78 (cps ‘(lambda (x) (h (if x (f a) b))))
 79  
 80 ;; if as operator (non-tail)
 81 (cps ‘(lambda (x) ((if x (f g) h) c)))
 82  
 83 ;; why we need more than two names
 84 (cps ‘(((f a) (g b)) ((f c) (g d))))
 85  
 86 ;; factorial
 87 (define fact-cps
 88   (cps
 89(lambda (n)
 90       ((lambda (fact)
 91          ((fact fact) n))
 92        (lambda (fact)
 93          (lambda (n)
 94            (if (zero? n)
 95                1
 96                (* n ((fact fact) (sub1 n))))))))))
 97  
 98 ;; print out CPSed function
 99 (pretty-print fact-cps)
100 ;; =>
101 ;; ‘(lambda (n k)
102 ;;    ((lambda (fact k) (fact fact (lambda (v0) (v0 n k))))
103 ;;     (lambda (fact k)
104 ;;       (k
105 ;;        (lambda (n k)
106 ;;          (if (zero? n)
107 ;;            (k 1)
108 ;;            (fact
109 ;;             fact
110 ;;             (lambda (v1) (v1 (sub1 n) (lambda (v2) (k (* n v2))))))))))
111 ;;     k))
112  
113 ((eval fact-cps) 5 (lambda (v) v))
114 ;; => 120

 

王垠系列博文(题名外挂URL)

标签:dup   真心   list   new   清华   guard   googl   why   工作   

原文地址:https://www.cnblogs.com/fyf-shou/p/daytime_stillness.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!