给FP版带点好玩的东西，FP语言的Quine

Question

问：何为Quine ？
答：A program that generates a copy of its own source text as its complete output

下面的网站上还有很多其他语言的例子。
http://www.nyx.net/~gthompso/quine.htm

2. Language: Haskell
5. Author: Jon Fairbairn ([email]Jon.Fairbairn@cl.cam.ac.uk[/email])
7. main = putStr (quine q)
8. quine s = s ++ show s
9. q = "main = putStr (quine q)nquine s = s ++ show snq = "
11. Author: Andrew Mitchell
13. --Hi there all, this is a quine for hugs by Andrew Mitchell
14. --just run with the command quines
15. a1 z zz = [zz] ++ e ++ init (init (concat [x:c|x <- z]))
16. a2 = unlines ([((f!!z):[]) ++ e ++ t ++ (m!!z) ++ t | z <- [0..15]] ++ [[yf!!(2*z)]++[yf!!(2*z+1)] ++ e ++ t ++ (ym!!z) ++ t | z <- [0..11]])
17. b = "a1 z zz = [zz] ++ e ++ init (init (concat [x:c|x <- z]))"
18. c = "++"
19. d = "quine"
20. e = " = "
21. f = "bcdefghijklnopwx"
22. g = "a2 = unlines ([((f!!z):[]) ++ e ++ t ++ (m!!z) ++ t | z <- [0..15]] ++ [[yf!!(2*z)]++[yf!!(2*z+1)] ++ e ++ t ++ (ym!!z) ++ t | z <- [0..11]])"
23. h = "t"
24. i = "u"
25. j = "v"
26. k = "n"
27. l = "h++e++t++v++t++t"
28. n = "i++e++t++v++k++t"
29. o = "j++e++t++v++v++t"
30. p = "quines = putStr (unlines ([yj] ++ [yk] ++ [b] ++ [g] ++ [a2] ++ [q] ++ [r] ++ [s] ++ [a1 ya (head yd)] ++ [a1 yb (head ye)] ++ [a1 yc (head yg)] ++ [yh] ++ [yi] ++ [p]))"
31. w = "["
32. x = "]"
33. ya = "hetvtt"
34. yb = "ietvkt"
35. yc = "jetvvt"
36. yd = "q"
37. ye = "r"
38. yf = "yaybycydyeyfygyhyiyjykyl"
39. yg = "s"
40. yh = "ym = [ya,yb,yc,yd,ye,yf,yg,yh,yi,yj,yk,yl]"
41. yi = "m = [b,c,d,e,f,g,h,i,j,k,l,n,o,p,w,x]"
42. yj = "--Hi there all, this is a quine for hugs by Andrew Mitchell"
43. yk = "--just run with the command quines"
44. yl = ""
46. t = """
47. u = "n"
48. v = "\"
49. q = h++e++t++v++t++t
50. r = i++e++t++v++k++t
51. s = j++e++t++v++v++t
52. ym = [ya,yb,yc,yd,ye,yf,yg,yh,yi,yj,yk,yl]
53. m = [b,c,d,e,f,g,h,i,j,k,l,n,o,p,w,x]
54. quines = putStr (unlines ([yj] ++ [yk] ++ [b] ++ [g] ++ [a2] ++ [q] ++ [r] ++ [s] ++ [a1 ya (head yd)] ++ [a1 yb (head ye)] ++ [a1 yc (head yg)] ++ [yh] ++ [yi] ++ [p]))

复制代码

2. Language: Emacs LISP
4. Author: Douglass Auclair
6. (let ((quine "(let ((quine %c%s%c)) (insert (format quine 34 quine 34)))"))
7. (insert (format quine 34 quine 34)))
9. Author: Sam Steingold
11. (let ((a "(let ((a %c%s%c)) (format a 34 a 34))")) (format a 34 a 34))

复制代码

2. Language:  Scheme  
4. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
5. Note: (Chez Scheme Version 5.0b)
7. (call/cc
8.   (lambda (c)
9.           (c ((lambda (c) `(call/cc (lambda (c) (c (,c ',c)))))
10.               '(lambda (c) `(call/cc (lambda (c) (c (,c ',c)))))))))
13. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
14. Note: (Chez Scheme Version 5.0b)
16. (call/cc
17.   (lambda (c)
18.     (call/cc
19.       (lambda (cc)
20.         (c ((lambda (c)
21.               `(call/cc
22.                  (lambda (c) (call/cc (lambda (cc) (c (,c ',c)))))))
23.             '(lambda (c)
24.                `(call/cc
25.                   (lambda (c) (call/cc (lambda (cc) (c (,c ',c)))))))))))))
28. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
29. Note: (Chez Scheme Version 5.0b)
31. ((lambda (q qq) ((lambda (x) `((lambda (q qq) ,(q x)) . ,(q qq)))
32.                   '(lambda (x) `((lambda (q qq) ,(q x)) . ,(q qq)))))
33.   (lambda (q) `(,q ',q))
34.   '(lambda (q) `(,q ',q)))
37. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
38. Note: (Chez Scheme Version 5.0b)
40. ((lambda (c)
41.    (if (procedure? c) (c 0)
42.        ((lambda (c) `((lambda (c) (if (procedure? c) (c 0) (,c ',c)))
43.                       (call/cc call/cc)))
44.         '(lambda (c) `((lambda (c) (if (procedure? c) (c 0) (,c ',c)))
45.                        (call/cc call/cc))))))
46.   (call/cc call/cc))
49. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
50. Note: (Chez Scheme Version 5.0b)
52. ((lambda (c)
53.    (if (procedure? c)
54.        (c '`((lambda (c) (if (procedure? c) (c ',c) ,c)) (call/cc call/cc)))
55.        `((lambda (c) (if (procedure? c) (c ',c) ,c)) (call/cc call/cc))))
56.   (call/cc call/cc))
59. Author: Tanaka Tomoyuki
61. ((lambda (x) `((lambda (x) ,x) ',x)) '`((lambda (x) ,x) ',x))
64. Author: Tanaka Tomoyuki
66. ((lambda (q) ((lambda (x) `((lambda (q) ,((eval q) x)) ',q))
67.               '(lambda (x) `((lambda (q) ,((eval q) x)) ',q))))
68. '(lambda (x) `(,x ',x)))
71. Author: Moshe Zadka ([email]moshez@math.huji.ac.il[/email])
72. Note: guile (A GNU implementation of Scheme)
74. #!/usr/bin/guile
75. -e main -s
76. !#
77. (define (main args)
78.    (display program)
79.    (write program)
80.    (display #))
81.    (newline))
83. (define program
84. "#!/usr/bin/guile \
85. -e main -s
86. !#
87. (define (main args)
88.    (display program)
89.    (write program)
90.    (display #\))
91.    (newline))
93. (define program
94. ")
97. Author: Moshe Zadka ([email]moshez@math.huji.ac.il[/email])
99. ((lambda (p) (write (list p (list (quote quote) p))))
100. (quote (lambda (p) (write (list p (list (quote quote) p))))))
103. Author: Tanaka Tomoyuki
104. Note: Palindromic in nature (look carefully I missied it at first)
106. ((lambda (x) `(,(reverse x) ',x)) '(`(,(reverse x) ',x) (x) lambda))

复制代码

2. Language: LISP (or Scheme)
5. Author: Unknown
6. Notes: There are several silly examples like this.
8. T
11. Author: Steven M. Haflich
12. Note common LISP only
14. #1=(WRITE '#1# :CIRCLE T)
17. Author: Peter Norvig
19. #1=(setq *print-circle* '#1#)
22. Author: Unknown
23. Note: only works if print-circle is defined
25. #1='#1#
26. Author: Peter Norvig
27. Note: common LISP, self evaluating
29. #1=((lambda () (setq *print-circle* '#1#)))
31. Author: Chris Hruska
33. ((LAMBDA (X) (LIST X (LIST 'QUOTE X))) '(LAMBDA (X) (LIST X (LIST 'QU
34. OTE X))))
37. Author: Dave Seaman ([email]ags@seaman.cc.purdue.edu[/email])
39. (let ((p "(let ((p ~s)) (format t p p))")) (format t p p))
42. Author: Sam Steingold
44. (let ((a '(list 'let (list (list 'a (list 'quote a))) a)))
45.   (list 'let (list (list 'a (list 'quote a))) a))
48. Author: Sam Steingold
50. (let ((a '(list 'let (list (list 'a (list 'quote a))) a)))
51.   `(let ((a (quote ,a))) ,a))
52. Author: Unknown
54. ((lambda (x) (list x x)) (lambda (x) (list x x)))
57. Author: Joe Miller
58. Notes: In Common Lisp this should actually evaluate to the above list. In some dialects, however, it evaluates to itself.
60. ((LAMBDA (X) `(,X ',X)) '(LAMBDA (X) `(,X ',X)))
63. Author: Peter Norvig
65. ((lambda (x) (list `',x)) '(lambda (x) (list x `',x)))
68. Author: Unknown
69. Note: common LISP
71. ((lambda (list) (list list `',list))
73. '(lambda (list) (list list `',list)))
76. Author: John McCarthy(creator of the language) and Carolyn Talcott
79. ((lambda (x)
80.    (list x (list (quote quote) x)))
81.   (quote
82.      (lambda (x)
83.        (list x (list (quote quote) x)))))
85. Author: John Burger, David Brill, Filip Machi
87. (PRINTME (LAMBDA NIL (PROG (A B)
88.      (SETQ A (QUOTE (PRINTME (LAMBDA NIL (PROG (A B)
89.           (SETQA (QUOTE FOO))
90.           (SETQ B (COPY A))
91.           (RPLACA (CDADDR (CADDAR (CDDADR B)))A)
92.      (SETQ B (COPY A))
93.      (RPLACA (CDADDR (CADDAR (CDDADR B))) A)
94.      (RETURN B))))
97. Author: Louise Hay
98. Note: Result of her quine-generating program
100. ((LAMBDA NIL
101.     ((LAMBDA (Y)
102.         (LIST
103.            (LIST
104.               (QUOTE LAMBDA)
105.               NIL
106.               (LIST
107.                  Y
108.                  (LIST
109.                     (QUOTE QUOTE)
110.                     Y)))))
111.       (QUOTE
112.          (LAMBDA (Y)
113.             (LIST
114.                (LIST
115.                   (QUOTE LAMBDA)
116.                   NIL
117.                   (LIST
118.                      Y
119.                      (LIST
120.                         (QUOTE QUOTE)
121.                          Y)))))))))
124. Author: Pekka P. Pirinen
126. Notes: This is a self-printing expression in the format sublanguage.
127. It works by using the ~:* directive to back up in the argument list
128. and reuse the previous argument; this is how it manages to use the
129. same string to format the new expression and print a copy of itself
130. inside the new expression.  Some CLs have a bug in the ~@?
131. recursive format directive that prevents backing up beyond the
132. control string argument, but the standard implies it ought to work.
133. Tested in LispWorks 4.2 on Unix.
135. (format t "~@?" "(format t "~~@?" ~:*~S)")
138. Authors: Paul Bratley and Jean Millo
140. define((
141. (c (prog (a)
142. (print (quote define))
143. (print (list(list(list(quote c) (get(quote c) (quote expr))))))
144. (print (quote c))
145. (print (list a))
146. (print (quote stop))
147. (print (quote fin))))))
148. c(nil)
149. stop
150. fin
153. Author: [email]Olin.Shivers@cosmos.vlsi.cs.cmu.edu[/email]
155. ((lambda (lambda) `(,lambda ',lambda)) '(lambda (lambda) `(,lambda ',lambda)))

复制代码
[ 本帖最后由 swordfish.cn 于 2008-12-15 20:26 编辑 ]

Answer 1

搜索到的另一个相关的网页
http://pluskid.lifegoo.com/wiki/Quine.html
打印自身的程序

感觉Quine就像生命体一样，可以自我繁殖。

Answer 2

汗......那个网页上居然还有TeX的 Quine ........................
随便输入个a, TeX不敢输出b来.....

Answer 3

有意思

Answer 4

不错

Haskell 这个稍微改下，putStr 换为 putStrLn

Answer 5

以前用 c 写过一个。