99种用Racket说I love you的方式
来源 https://www.tuicool.com/articles/qiyeAz
原文 http://www.soimort.org/posts/145/
今天是3月14日，也就是传说中的 白色情人节 （据说是个被表白一方向表白方回赠礼物以表示心意的好日子，蕴含着人们对天下有情人终成眷属的 良好祝愿 ）。
作为一个技术宅，应该在这一天准备什么样的礼物给妹子捏？99朵玫瑰？还是巧克力？可不要被这些 商家营销手段 给骗了——就像Sheldon家Amy说的一样，Nerds们过一个真正属于自己的“No dinner, no romance, no gifts”的情人节才是正道啊；这种时候，只要像往常那样写写代码，用代码来说出“I love you”就好了。当然，为了表示诚意，我们要用99种——没错，是用99种不同的方式来写同一句话。
用什么语言写好捏？当然是 满满的都是爱 的 Racket 咯ヽ(♡´ω`♡)ノ
（先放上一段忘了从哪偷来的代码……在DrRacket里运行，就能看到一颗doki~doki跳动的红心哦）
#lang racket
(require 2htdp/universe 2htdp/image)
(define scale-factor 10)
(define window-size (* scale-factor 20))
(define (lobe shape size) (shape (* size scale-factor) 'solid 'red))
(define • (lobe circle 4))
(define •• (overlay/offset • (* 7 scale-factor) 0 •))
(define ▼ (rotate 180 (lobe triangle 14)))
(define ♥ (overlay/offset •• 0 (* 8 scale-factor) ▼))
(define amplitude 1/10)
(define speed 1/2)
(define (☺♥ n)
(overlay (scale (add1 (* (sin (* n speed)) amplitude)) ♥)
(empty-scene window-size window-size)))
(animate ☺♥)
下面开始，进入正题。
以前，穷屌丝书生喜欢发问，茴香豆的茴字有几种写法？而高富帅则会问，I love you里面的love有几种make法？不管做任何一件事情，方法上的选择总是很重要——对于敲代码的程序猿来说也一样。
在Python里，做任何事，通常有且仅有一种正确的方法；Pythonic教的传教士说：只有一种姿势最优雅，其他的体位都是邪恶的。但是Rubyists们却不以为然。他们是一群奉行自由主义的嬉皮，不需要Python里面那种类似 哲♂学 一样的教条束缚；在解决同一个最基本的问题上有时也会跟随feeling写出新奇而孑然不同的代码。
记得刚开始接触Ruby那会，试着 用Ruby解过 那套经典的 P-99（99个Prolog问题） 。前面好几十个问题差不多都是关于list的操作：做过一遍之后立刻就感觉到，Ruby单从表达问题的灵活性上来说，的确不是现有的其他主流语言所能够比拟的——显然，作为Perl的继任者，Ruby很好地发扬光大了这一点。
嘛，当然，要说到表达能力，基于 抖S前入式 、把数据和代码结构高度统一起来的Lisp才是编程语言中真正的总攻（虽然这也让一部分Lisper养成了光说空话不干实事+吹嘘自己造车轮造得多么的好+不合作不贡献社区的 坏毛病 ）。话说回来，在Lisp里，哪怕是做最简单的一件事情——构造一个list，也能凭空造出千般万般变化。不信？继续看下去。
为了帮助童鞋们更好地理解Racket语言中的核心概念，Univ of Utah的CS系教授Matthew Might写了这篇 《99 ways to say '(I love you) 》 。你不仅能够从中领略到Lisp那无与伦比的表达能力，还能借此复习一下Scheme/Racket中的那些基础知识点：lambdas，higher-order function，pattern matching，delayed evaluation，macros，等等——当然，后者才是此文的主要目的。
下面奉上原文翻译。（其实文字部分也就几句话）
Original Article: 99 ways to say '(I love you) by Matthew Might
(Chinese Translation by Mort Yao )
99 ways to say '(I love you)
虽说其具有本质上的简单性，有关list的那些事儿仍然会常常让Racket程序员们困惑不已。
除开list结构本身之外，Racket程序中各种运算的表达方式更需要花上不少时间来发掘和掌握。
为了更好地强调这些重点，我写了99个不超过一条推长度的Racket表达式，它们求值的结果均得到同样的一个list： '(I love you) 。
这些表达式中大约有一半用来展示构建或操作list的方法，剩下来的则展示了Racket中表述计算的各色方式。
所涉及到的关键知识点包括：
- 用cons连接单元（cons cells）
- 字面list记号（literal list notation）
- 加点list记号（dotted list notation）
- 反引号表示list（quasiquoted lists）
- let绑定形式（let-binding forms）
- vector和stream（vectors and streams）
- 匿名函数（anonymous functions）
- 高阶list操作（higher-order list operations）
- 条件式（conditionals）
- 结构化模式匹配（structural pattern-matching）
- 哈希表（hash maps）
- 续延（continuations）
- 异常（exceptions）
- 诺言（promises）
- 变更（mutation）
- 宏（macros）
- 端口（ports）
- 未来（futures）
- 参数（parameters）
以下是具体的99种方式。
如果读到任何一条不能理解的话，不妨在DrRacket的REPL里面尝试摸索一番，直到你彻底弄懂它。
99种方式
下面的每一枚Racket表达式，求值的结果均得到一个list '(I love you) ：
（原文里面没有给这99条归类，小标题是翻译君擅自加的，看的时候请注意鉴别……）
1. 构造list的基本手段： quote 和 list
;;;
'(I love you)
;;;
(quote (I love you))
;;;
(list 'I 'love 'you)
;;;
(list (quote I) (quote love) (quote you))
2. 用 cons 连接单元
;;;
(cons 'I (cons 'love (cons 'you '())))
;;;
(cons 'I (cons 'love (list 'you)))
;;;
(cons 'I (list 'love 'you))
;;;
(cons 'I '(love you))
3. 加点list记号（Dotted list notation）
;;;
'(I love . (you))
;;;
'(I . (love . (you)))
;;;
'(I . (love . (you . ())))
;;;
'(I . (love you))
4. 反引号表示list（Quasiquoted lists）
;;;
`(I love you)
;;;
`(I ,'love you)
;;
(quasiquote (I ,'love you))
;;
(quasiquote (I (unquote 'love) you))
;;;
`(I ,`love you)
;;;
(let ([verb 'love])
`(I ,verb you))
;;;
`(I ,(string->symbol "love") you)
;;;
`(I ,(string->symbol (list->string '(#l #o #v #e))) you)
;;;
`(I love . (you))
;;;
`(I love . ,(list 'you))
;;;
`(I love ,@'(you))
;;;
`(I love (unquote-splicing '(you)))
;;;
`(I ,@(list 'love 'you))
;;;
`(,@(list 'I 'love) you)
;;;
`(,@'(I love you))
;;;
`,'(I love you)
;;;
`(I love you . ,'())
5. car 和 cdr
;;;
(car (list '(I love you)))
;;;
(cdr '(Hark! I love you))
6. let 绑定形式（ let -binding forms）
;;;
(let ([words '(love you I)])
(list (car (cdr (cdr words)))
(car words)
(car (cdr words))))
;;;
(let ([words '(love you I)])
(list (caddr words)
(car words)
(cadr words)))
;;;
(let* ([c '(you)]
[b (cons 'love c)]
[a (cons 'I b)])
a)
;;;
(let ()
'(I love you not)
'(I love you))
7. vector
;;;
(vector->list (vector 'I 'love 'you))
;;;
(vector->list #(I love you))
8. stream
;;;
(stream->list (stream 'I 'love 'you))
9. 匿名函数（Anonymous functions）
;;;
((lambda args args) 'I 'love 'you)
;;;
((lambda (one two . rest) rest) 'You 'believe 'I 'love 'you)
;;;
((lambda (a c b) (list a b c)) 'I 'you 'love)
;;;
(apply (lambda (a c b) (list a b c))
(list 'I 'you 'love))
;;;
((lambda (a b [c 'you]) (list a b c)) 'I 'love)
;;;
((lambda (#:foo b #:bar c #:baz a)
(list a b c))
#:baz 'I #:bar 'you #:foo 'love)
;;;
((lambda (a b #:key [c 'me]) (list a b c)) #:key 'you 'I 'love)
10. 柯里化（Currying）
;;;
(let ([f (λ (x)
(λ (y)
(λ (z)
(list x y z))))])
(((f 'I) 'love) 'you))
11. case-lambda
;;;
(let ([f (case-lambda
[() 'I]
[(x) 'love]
[(x y) 'you])])
(list (f) (f 1) (f 1 2)))
12. 基础list操作
;;;
(append '(I love) '(you))
;;;
(append '(I) '(love) '(you))
;;;
(flatten '((I) (love you)))
;;;
(flatten '((I) (love) (you) ()))
;;;
(reverse '(you love I))
;;;
(remove 'cannot '(I cannot love you))
;;;
(remove-duplicates '(I love love love you))
;;;
(take '(I love you not) 3)
;;
(take-right '(I think I love you) 3)
;;;
(drop '(She knows I love you) 2)
;;;
(drop-right '(I love you no more) 2)
13. 高阶list操作（map、filter和reduce）
;;;
(map (lambda (x) (if (eq? x 'hate) 'love x))
'(I hate you))
;;;
(map (λ (i) (vector-ref #(love you I) i))
'(2 0 1))
;;;
(map (λ (k) (hash-ref #hash(("foo" . I)
("baz" . you)
("bar" . love)) k))
'("foo" "bar" "baz"))
;;;
(map string->symbol (sort (list "love" "you" "I") string<?))
;;;
(map string->symbol (string-split "I-love-you" "-"))
;;;
(flatten (map (λ (a b) (cons a b))
'(I love you)
'(() () ())))
;;;
(filter (lambda (x) (not (eq? x 'cannot)))
'(I cannot love you))
;;;
(foldr cons '() '(I love you))
;;;
(foldl cons '() '(you love I))
14. 迭代（Iterations）
;;;
(for/list ([word #(I love you)])
word)
15. 条件式（Conditionals）
;;;
(cond
[(even? 3) '(Not me)]
[(odd? 3) '(I love you)])
;;;
(cond
[(even? 3) '(Not me)]
[(odd? 2) '(Nor I)]
[else '(I love you)])
;;;
(case 1
[(a b c) '(Not me)]
[(3 2 1) '(I love you)])
16. 结构化模式匹配（Structural pattern-matching）
;;;
(match #t
[#f '(Not me)]
[#t '(I love you)])
;;;
(match #t
[#f '(Not me)]
[_ '(I love you)])
;;;
(match 'you
['me '(Not me)]
[x `(I love ,x)])
;;;
(match '(foo bar)
['(foo bar) '(I love you)])
;;;
(match '(I cannot lift you)
[(list 'I 'cannot _ c) `(I love ,c)])
;;;
(match '(2 3 1)
[(list-no-order 3 1 2)
'(I love you)])
;;;
(match '(love you I)
[(list-no-order 'I 'love foo)
`(I love ,foo)])
;;;
(match '(3 . 4)
[(cons 3 4)
'(I love you)])
;;;
(match '(3 love 1)
[(cons 3 (cons x (cons 1 '())))
`(I ,x you)])
;;;
(match '(3 love 1)
[(cons 3 (cons x (cons 1 '())))
`(I (unquote x) you)])
;;;
(match 3
[(? symbol?) '(Not me)]
[(? string?) '(Me neither)]
[(? number?) '(I love you)])
;;;
(match 3
[(not 4) '(I love you)]
[3 'unreachable])
;;;
(match '(you love I)
[`(,c love ,a)
`(,a love ,c)])
;;;
(match '(We love you)
[`(,_ . ,rest)
`(I . ,rest)])
;;;
(match '(We love you)
[`(,_ ,rest ...)
`(I ,@rest)])
;;;
(match '(We love you)
[(list _ rest ...)
`(I ,@rest)])
;;;
(match #(1 love 3)
[(vector (? number?) b (? number?))
`(I ,b you)])
;;;
(match #hash((1 . I) (3 . you) (5 . love))
[(hash-table (1 a) (5 b) (3 c))
(list a b c)])
;;;
(match 'you
[(and x (? symbol?)) `(I love ,x)])
;;;
(match '100
[(app (λ (n) (- n 1)) 99)
'(I love you)])
17. 续延（Continuation）
;;;
(list 'I
(call/cc (λ (cc)
(error (cc 'love))))
'you)
18. 异常（Exceptions）
;;;
(with-handlers ([symbol? (lambda (p)
`(I ,p you))])
(raise 'love))
19. 延迟求值（Delayed evaluation）
;;;
(let ([problem (delay (car '()))])
'(I love you))
;;;
`(I ,(force (delay 'love)) you)
;;;
(letrec ([x (delay (list a b c))]
[a 'I]
[c 'you]
[b 'love])
(force x))
20. 变更（Mutation）
;;;
(let ([word 'know])
(set! word 'love)
`(I ,word you))
;;;
(let ([word-box (box 'know)])
(set-box! word-box 'love)
`(I ,(unbox word-box) you))
21. 宏（Macros）
;;;
(let-syntax ([un-yoda-list
(syntax-rules ()
[(_ c a b) (list 'a 'b 'c)])])
(un-yoda-list you I love))
22. 端口（Ports）
;;;
(let ((in (open-input-string "I love you")))
(cons (read in)
(cons (read in)
(cons (read in) '()))))
23. 未来（Futures）
;;;
(list (touch (future (λ () 'I))) 'love 'you)
24. 参数化（Parameterization）
;;;
(let ([a (make-parameter "a")]
[b (make-parameter "b")]
[c (make-parameter "c")])
(parameterize ([a 'i] [b 'love] [c 'you])
(list (a)
((parameterize ([b 'dislike])
(λ () (b))))
(c))))
来自其他人的贡献
由 David Van Horn 提供：
(define `λ (λ 'love 'I 'you))
((λ λ λ)
`(λ (⊙ λ ∪) λ)
`(λ (λ ⊙ ∪) λ)
`(λ (∪ ⊙ λ) λ))
由Bruce Bolick提供：
(define (stream-take s n)
(if (= n 0)
'()
(cons (stream-first s)
(stream-take (stream-rest s) (- n 1)))))
(define U 3)
(define I stream-take)
(define ♥ (stream 'I 'love 'you))
(I ♥ U)
（原文完）
（我表示诸位看官到这里可以直接无视以下内容了……看可以，请一笑了之。）
因为文章里提到的99种方式都没有涉及到logic programming，我觉得很有必要写一个自己的版本。用谓词逻辑来推导出“I love you”这种设定会很有趣的不是么……
于是就有了下面这段蛋疼的产物（用到了 Racklog ，一个仿Prolog的逻辑式编程扩展），最终的结果也是一样一样的 '(I love you) ：
我要做一只合格的脑残偶像厨WOTA ＼(^o^)／
#lang racket
(require racklog)
(define %love
(%rel ()
[('I 'AKB48)]
[('I 'you)]
[('you 'I)]))
(define first-love
(%which (who)
(%and (%is who 'AKB48)
(%love 'I who)
(%love who 'I))))
(define not-that-much-but-still-love
(%which (who)
(%and (%love 'I who)
(%love who 'I))))
(define (♡˙︶˙♡)
`(I love, (cdr (car not-that-much-but-still-love))))
(♡˙︶˙♡)
====================== End