符号

简介

我会在本章讲解在Lisp/Scheme程序设计语言中极具特色的数据类型——符号。符号是一种通过地址管理字符串的数据。符号可以被如eq?这样运行迅速地函数处理，而纯字符串需要被更慢的equal?处理。由于符号可以被快速比较，它们被用于做关联表和哈希表的键，这些我将在下一章讲到。

有关符号的基本函数

下列都是有关符号的基本函数。

(symbol? x)

如果x是一个符号则返回#t。

(string->symbol str)

将str转换为符号。str应该都是小写的，否则地址系统可能无法正常工作。在MIT-Scheme中，(string->symbol "Hello")和'Hello是不同的。

  1. (eq? (string->symbol "Hello") 'Hello)
  2. ;Value: ()
  4. (eq? (string->symbol "Hello") (string->symbol "Hello"))
  5. ;Value: #t
  7. (symbol->string  (string->symbol "Hello"))
  8. ;Value 15: "Hello"

(symbol->string sym)

将sym转换为字符。

统计文本中的单词

下面的代码是一段统计文本中单词个数的程序，这也是被经常用作演示如何使用符号的例子。该程序使用了哈希表（Hash table）和关联表（Association list），这些都将在下一章中讲解。

  1. 01:     ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2. 02:     ;;;   wc.scm
  3. 03:     ;;;   a scheme word-count program
  4. 04:     ;;;
  5. 05:     ;;;    by T.Shido
  6. 06:     ;;;    on August 19, 2005
  7. 07:     ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  8. 08:     
  9. 09:     (define (list->symbol ls0)
  10. 10:       (string->symbol (list->string (reverse! ls0))))
  11. 11:     
  12. 12:     (define (char-in c . ls)
  13. 13:       (let loop((ls0 ls))
  14. 14:         (if (null? ls0)
  15. 15:             #f
  16. 16:           (or (char=? c (car ls0))
  17. 17:               (loop (cdr ls0))))))
  18. 18:     
  19. 19:     (define (read-words fname)
  20. 20:       (with-input-from-file fname
  21. 21:         (lambda ()
  22. 22:           (let loop((w '()) (wls '()))
  23. 23:             (let ((c (read-char)))
  24. 24:           (cond
  25. 25:            ((eof-object? c)
  26. 26:                 (reverse! (if (pair? w)
  27. 27:                               (cons (list->symbol w) wls)
  28. 28:                             wls)))
  29. 29:            ((char-in c #\Space #\Linefeed #\Tab #\, #\.  #\ #\( #\) #\= #\? #\! #\; #\:)
  30. 30:                 (loop '() (if (pair? w)
  31. 31:                               (cons (list->symbol w) wls)
  32. 32:                             wls)))
  33. 33:            (else
  34. 34:             (loop (cons (char-downcase c) w) wls))))))))
  35. 35:     
  36. 36:     (define (sort-by-frequency al)
  37. 37:       (sort al (lambda (x y) (> (cdr x) (cdr y)))))
  38. 38:     
  39. 39:     (define (wc fname)
  40. 40:       (let ((wh (make-eq-hash-table)))
  41. 41:         (let loop((ls (read-words fname)))
  42. 42:           (if (null? ls)
  43. 43:               (sort-by-frequency (hash-table->alist wh))
  44. 44:             (begin
  45. 45:              (hash-table/put! wh (car ls) (1+ (hash-table/get wh (car ls) 0)))
  46. 46:              (loop (cdr ls)))))))
  1. (wc "opensource.txt")
  2. ⇒
  3. ((the . 208) (to . 142) (a . 104) (of . 103) (and . 83) (that . 75) (is . 73) (in . 65) (i . 64)
  4. (you . 55) (it . 54) (they . 48) (for . 46) (what . 38) (work . 37) (but . 35) (have . 32) (on . 32)
  5. (people . 32) (are . 30) (be . 29) (do . 29) (from . 27) (so . 26) (like . 25) (as . 25) (by . 24)
  6. (source . 24) (not . 23) (open . 23) (can . 23) (we . 22) (was . 22) (one . 22) (it's . 22) (an . 21)
  7. (this . 20) (about . 20) (business . 18) (working . 18) (most . 17) (there . 17) (at . 17) (with . 16)
  8. (don't . 16) (just . 16) (their . 16) (something . 15) (than . 15) (has . 15) (if . 15) (when . 14)
  9. (because . 14) (more . 14) (were . 13) (office . 13) (own . 13) (or . 12) (online . 12) (now . 12)
  10. (blogging . 12) (how . 12) (employees . 11) (them . 11) (think . 11) (time . 11) (company . 11)
  11. (lot . 11) (want . 11) (companies . 10) (could . 10) (know . 10) (get . 10) (learn . 10) (better . 10)
  12. (some . 10) (who . 10) (even . 9) (thing . 9) (much . 9) (no . 9) (make . 9) (up . 9) (being . 9)
  13. (money . 9) (relationship . 9) (that's . 9) (us . 9) (anyone . 8) (average . 8) (bad . 8) (same . 8)
  14. ..........)

说明：

(list->symbo ls0)

将一个由字符构成的列表（ls0）转换为一个符号。

(char-in c . ls)

检查字符（c）是否存在表（ls）。如果存在返回#t，不存在返回#f。

(read-words fname)

读取一个名为fname的文件，并返回一个符号列表。函数将大写转换为小写，将字符表（w）转换为一个字符，将it添加到符号表（wls）中。

(sort-by-frequency al)

以出现频率降序排序关联表（al）。

(wc fname)

读取名为fname的文件，并返回一个以出现频率降序排序关联表。因为函数使用了符号，eq-hash-table是适用的，它使用执行速度很快地eq?比较键（第40行）。函数统计由read-words创建的单词表里各单词的数量，并将其存储在一个哈希表（第44-46行）。在统计完成时（第43行），将哈希表转换为关联表。

小结

符号是Lisp/Scheme中用于解析分析文本（例如词数统计，解析等）的一种特殊的数据类型，有一些速度很快的函数可应用于符号。