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

swordfish.cn

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

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

1. 
   
2. Language: Haskell
   
3. 
   
4. 
   
5. Author: Jon Fairbairn ([email]Jon.Fairbairn@cl.cam.ac.uk[/email])
   
6. 
   
7. main = putStr (quine q)
   
8. quine s = s ++ show s
   
9. q = "main = putStr (quine q)\nquine s = s ++ show s\nq = "
   
10. 
    
11. Author: Andrew Mitchell
    
12. 
    
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 = ""
    
45. 
    
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]))
    
55. 
    

复制代码

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

复制代码

1. 
   
2. Language:  Scheme  
   
3. 
   
4. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
   
5. Note: (Chez Scheme Version 5.0b)
   
6. 
   
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)))))))))
    
11. 
    
12. 
    
13. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
    
14. Note: (Chez Scheme Version 5.0b)
    
15. 
    
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)))))))))))))
    
26. 
    
27. 
    
28. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
    
29. Note: (Chez Scheme Version 5.0b)
    
30. 
    
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)))
    
35. 
    
36. 
    
37. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
    
38. Note: (Chez Scheme Version 5.0b)
    
39. 
    
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))
    
47. 
    
48. 
    
49. Author: Tanaka Tomoyuki([email]tanaka@ucdavis.edu[/email])
    
50. Note: (Chez Scheme Version 5.0b)
    
51. 
    
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))
    
57. 
    
58. 
    
59. Author: Tanaka Tomoyuki
    
60. 
    
61. ((lambda (x) `((lambda (x) ,x) ',x)) '`((lambda (x) ,x) ',x))
    
62. 
    
63. 
    
64. Author: Tanaka Tomoyuki
    
65. 
    
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)))
    
69. 
    
70. 
    
71. Author: Moshe Zadka ([email]moshez@math.huji.ac.il[/email])
    
72. Note: guile (A GNU implementation of Scheme)
    
73. 
    
74. #!/usr/bin/guile \
    
75. -e main -s
    
76. !#
    
77. (define (main args)
    
78.    (display program)
    
79.    (write program)
    
80.    (display #\))
    
81.    (newline))
    
82. 
    
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))
    
92. 
    
93. (define program
    
94. ")
    
95. 
    
96. 
    
97. Author: Moshe Zadka ([email]moshez@math.huji.ac.il[/email])
    
98. 
    
99. ((lambda (p) (write (list p (list (quote quote) p))))
    
100. (quote (lambda (p) (write (list p (list (quote quote) p))))))
     
101. 
     
102. 
     
103. Author: Tanaka Tomoyuki
     
104. Note: Palindromic in nature (look carefully I missied it at first)
     
105. 
     
106. ((lambda (x) `(,(reverse x) ',x)) '(`(,(reverse x) ',x) (x) lambda))
     

复制代码

1. 
   
2. Language: LISP (or Scheme)
   
3. 
   
4. 
   
5. Author: Unknown
   
6. Notes: There are several silly examples like this.
   
7. 
   
8. T
   
9. 
   
10. 
    
11. Author: Steven M. Haflich
    
12. Note common LISP only
    
13. 
    
14. #1=(WRITE '#1# :CIRCLE T)
    
15. 
    
16. 
    
17. Author: Peter Norvig
    
18. 
    
19. #1=(setq *print-circle* '#1#)
    
20. 
    
21. 
    
22. Author: Unknown
    
23. Note: only works if print-circle is defined
    
24. 
    
25. #1='#1#
    
26. Author: Peter Norvig
    
27. Note: common LISP, self evaluating
    
28. 
    
29. #1=((lambda () (setq *print-circle* '#1#)))
    
30. 
    
31. Author: Chris Hruska
    
32. 
    
33. ((LAMBDA (X) (LIST X (LIST 'QUOTE X))) '(LAMBDA (X) (LIST X (LIST 'QU
    
34. OTE X))))
    
35. 
    
36. 
    
37. Author: Dave Seaman ([email]ags@seaman.cc.purdue.edu[/email])
    
38. 
    
39. (let ((p "(let ((p ~s)) (format t p p))")) (format t p p))
    
40. 
    
41. 
    
42. Author: Sam Steingold
    
43. 
    
44. (let ((a '(list 'let (list (list 'a (list 'quote a))) a)))
    
45.   (list 'let (list (list 'a (list 'quote a))) a))
    
46. 
    
47. 
    
48. Author: Sam Steingold
    
49. 
    
50. (let ((a '(list 'let (list (list 'a (list 'quote a))) a)))
    
51.   `(let ((a (quote ,a))) ,a))
    
52. Author: Unknown
    
53. 
    
54. ((lambda (x) (list x x)) (lambda (x) (list x x)))
    
55. 
    
56. 
    
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.
    
59. 
    
60. ((LAMBDA (X) `(,X ',X)) '(LAMBDA (X) `(,X ',X)))
    
61. 
    
62. 
    
63. Author: Peter Norvig
    
64. 
    
65. ((lambda (x) (list `',x)) '(lambda (x) (list x `',x)))
    
66. 
    
67. 
    
68. Author: Unknown
    
69. Note: common LISP
    
70. 
    
71. ((lambda (list) (list list `',list))
    
72. 
    
73. '(lambda (list) (list list `',list)))
    
74. 
    
75. 
    
76. Author: John McCarthy(creator of the language) and Carolyn Talcott
    
77. 
    
78. 
    
79. ((lambda (x)
    
80.    (list x (list (quote quote) x)))
    
81.   (quote
    
82.      (lambda (x)
    
83.        (list x (list (quote quote) x)))))
    
84. 
    
85. Author: John Burger, David Brill, Filip Machi
    
86. 
    
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))))
    
95. 
    
96. 
    
97. Author: Louise Hay
    
98. Note: Result of her quine-generating program
    
99. 
    
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)))))))))
     
122. 
     
123. 
     
124. Author: Pekka P. Pirinen
     
125. 
     
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.
     
134. 
     
135. (format t "~@?" "(format t \"~~@?\" ~:*~S)")
     
136. 
     
137. 
     
138. Authors: Paul Bratley and Jean Millo
     
139. 
     
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
     
151. 
     
152. 
     
153. Author: [email]Olin.Shivers@cosmos.vlsi.cs.cmu.edu[/email]
     
154. 
     
155. ((lambda (lambda) `(,lambda ',lambda)) '(lambda (lambda) `(,lambda ',lambda)))
     

复制代码

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

win_hate

以前用 c 写过一个。

MMMIX

不错

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

heixia108

有意思

wuchuanren

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

seaye

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

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