Fundamentally, SICP is a book about all aspects of programming languages. Specifically:
Programming Language Theory
a. Eager/Applicative-order evaluation
b. Lazy/Normal-order evaluation
c. Lambda Calculus
d. Formal Semantics
e. Mutability and State
f. Algebraic Data Types (implicitly)
g. Substitution Model of Evaluation
h. Environment Model of Evaluation
Programming Language Design
a. Functional Programming b. Imperative Programming c. Object-oriented Programming d. Logic (Declarative) Programming e. Domain Specific Languages f. Pattern Matching
Programming Language Usage/Style
a. Continuation Passing Style (implicitly) b. Data-directed programming c. Memoization d. Constraint solving e. Decomposition using Higher-Order Functions f. Event-based simulation
Compilers
a. Basic code generation b. Peephole optimization c. Code-Generation. d. Tail-call optimizing
lectures https://www.reddit.com/r/computerscience/comments/w3c0m3/comment/igwzvp3/
https://www.youtube.com/watch?v=-J_xL4IGhJA&list=PLE18841CABEA24090&ab_channel=MITOpenCourseWare
is computer science a science? get hte part that it’s not about computers, but where is the experimental part?