This document discusses the Scheme programming language and Structure and Interpretation of Computer Programs (SICP). It mentions that SICP uses Scheme and teaches functional programming and meta-circular interpreters. It also discusses black.scm which implements an interpreter using continuation-passing style as presented in SICP chapter 4.

1. Scheme
yadokarielectric

3. ID: yadokarielectric
•
•

5. ID
• y14c
• yad-EL
• yadokarielectri twitter

7. twitter id

11. SICP

12. Structure and Interpretation of
Computer Programs (SICP)
•
•
• 2000/02

13. • SICP
• 167 3
• 86
• 200

15. SICP

17. 2009-03-21( )
SICP

19. 137 users

20. shiro

21. id: h_iwk

22. ---- ----
SICP
Scheme Black
SICP

23. Black

24. Scheme

26. ktkr!!

29. ranha FLTV

31. yad-EL - (2009/07/30 11:54)
Black Brown
Scheme
Scheme

32. Brown

33. Scheme
Scheme

35. Scheme
Black

38. http://www.is.titech.ac.jp/ppl2004/proceedings/p017.pdf
Scheme Black
http://pllab.is.ocha.ac.jp/~asai/papers/papers.html
h_iwk

39. Scheme
Scheme

41. Scheme

42. SICP 4 Scheme
Scheme

45. Scheme

46. SICP
•
• amb

47. Black
•

49. exec-at-metalevel

51. • exec-at-metalevel
•

52. 2
1

54. (define (base-eval exp env cont)
(cond ((number? exp) (cont exp))
((symbol? exp) (eval-var exp env cont))
((eq? (car exp) ʼif) (eval-if exp env cont))
((eq? (car exp) ʼdefine) (eval-define exp env cont))
((eq? (car exp) ʼset!) (eval-set! exp env cont))
((eq? (car exp) ʼlambda) (eval-lambda exp env cont))
((eq? (car exp) ʼbegin) (eval-begin (cdr exp) env cont))
((eq? (car exp) ʼexec-at-metalevel)
(eval-EM exp env cont))
(else (eval-application exp env cont))))
(define (eval-application exp env cont)
(eval-list exp env
(lambda (l) (base-apply (car l) (cdr l) env cont))))

55. exec-at-metalevel

56. • base-eval exp
• eval-hoge
eval-application

57. trace

58. Black

59. • black.scm 480
• env.scm 60

61. SICP 4

62. SICP
•
CPS
• Mcont
↑

65. behavioral
100

70. Black pe

71. Black
pe

72. /
10

73. Black