/
README
88 lines (73 loc) · 2.38 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
SICP in SML/NJ
This is a translation of source code from SICP [1] into SML/NJ [2].
== Status
Currently, the following sections are translated:
1 Building Abstractions with Procedures
1.1 The Elements of Programming:
=> chap1_1.sml
1.2 Procedures and the Processes They Generate
=> chap1_2.sml
1.3 Formulating Abstractions with Higher-Order Procedures
=> chap1_3.sml
2 Building Abstractions with Data
2.1 Introduction to Data Abstraction
=> chap2_1.sml
2.2 Hierarchical Data and the Closure Property
=> chap2_2.sml
2.2.4 Example: A Picture Language
=> chap2_2_4_smltk.sml
(sml_tk [3] is used to implement them.)
2.3 Symbolic Data
=> chap2_3.sml
2.4 Multiple Representations for Abstract Data
=> chap2_4.sml
2.5 Systems with Generic Operations
=> chap2_5.sml
3 Modularity, Objects, and State
3.1 Assignment and Local State
=> chap3_1.sml
3.2 The Environment Model of Evaluation
=> chap3_2.sml
3.3 Modeling with Mutable Data
=> chap3_3.sml
3.4 Concurrency: Time Is of the Essence
=> chap3_4.sml
3.5 Streams
=> chap3_5.sml
3.5.2 Infinite Streams (Defining streams implicitly)
=> chap3_5_lazy.sml
(The lazy evaluation feature of SML/NJ is used.)
4 Metalinguistic Abstraction
4.1 The Metacircular Evaluator
=> chap4_1.sml
4.2 Variations on a Scheme -- Lazy Evaluation
=> chap4_2.sml
4.3 Variations on a Scheme -- Nondeterministic Computing
=> chap4_3.sml, chap4_3_example.scm
4.4 Logic Programming
=> chap4_4_lazy.sml, chap4_4_example.scm
(The lazy evaluation feature of SML/NJ is used.)
5 Computing with Register Machines
5.1 Designing Register Machines
=> chap5_1.sml
5.2 A Register-Machine Simulator
=> chap5_2.sml
5.3 Storage Allocation and Garbage Collection
=> not translated
5.4 The Explicit-Control Evaluator
=> chap5_4.sml
5.5 Compilation
=> chap5_5.sml
=== References and links
[1] Harold Abelson, Gerald Jay Sussman, and Julie Sussman.
Structure and Interpretation of Computer Programs.
MIT Press and McGraw-Hill, second Edition, 1996.
http://mitpress.mit.edu/sicp/
[2] Standard ML of New Jersey
http://www.smlnj.org/
[3] sml_tk
http://www.informatik.uni-bremen.de/~cxl/sml_tk/
[4] Topics:SICP in other languages - CTMWiki
http://www.codepoetics.com/wiki/index.php?title=Topics:SICP_in_other_languages
[5] Eli Bendersky's website >> SICP
http://eli.thegreenplace.net/category/programming/lisp/sicp/