这是SICP1笔记。

static/images/blue_energy_02.png)

术语：process, procedure, self-evaluating, name, combinations, special form,

关键字：primitives (numbers and built in procedures); means of combination (ways of creating complex expressions);means of abstraction (a way of giving a name to something)

• 第一部分

• need a language for describing process:

• 描述process需要的语言特性

• Vocabulary

• Rules for writing compound expressions - syntax 语法
• Rules for assigning meaning to constructs - semantics 语义

• Rules for capturing process of evalution - procedures 过程

• using procedures control complexity

• 使用procedures控制复杂度

• create a set of primitive elements in language - single data and procedures.

• create a set of rules for combining elenments of language.

• create a set of rules for abstructing elements - treat complex things as primitives.

• management of complexity

• procedure and data abstraction

• conventionial interfaces & programming pradigms
• manifest typing
• streams

• object oriented programming

• metalinguistic abstraction

• layered languages for new problems
• hardware/register languages

• manipulation of programs compilation

• evaluation rules 求值规则

• primitive: numberal string boolean evaluates to itself.

• name evaluates to the value bound that name in the enviroment.

• combination is evaluated as:

• evaluate the subexpressions in any order.

• apply the value of the operator subexpression to the values of the remaining subexpressions.
• define and lambda special form are special:
• a define associates the value of the second argument with the name given in the first argument.

• a lambda expression evaluates to a procedure object that stores both the parameter list and procedure body.

• substitution model: to apply a compound procedure to its argument:
  evaluate the body with each formal parameter replaced by the corresponding argument

1.26.scm 关于算法复杂度的分析不太清楚