Fork me on GitHub

  2012年10月31日
摘要: 递归计算过程(recursive process):这种类型的计算过程由一个推迟执行的运算链条刻画。迭代计算过程(iterative process):其状态可以用固定数目的状态变量描述。与此同时,又存在一套固定规则,描述了计算过程从一个状态到下一个状态转换时,变量的更新方式,还有一个结束检测,描述计算过程应该终止的条件。范例:换零钱 1 (define (count-change amount) 2 (cc amount 5)) 3 (define (cc amount kinds-of-coins) 4 (cond ((= amount 0) 1) 5 ... 阅读全文
posted @ 2012-10-31 14:13 sungoshawk 阅读(239) 评论(0) 推荐(0) 编辑
  2012年10月30日
摘要: 语言的三个机制:基本表达式 (primitive expression)组合 (combination)抽象 (abstraction)组合式:由括号括起的一些表达式,形成的表。表中最左边的元素称为运算符(operator),其他元素称为运算对象(operand)。过程定义的一般形式:(define (<name> <formal parameters>) <body>)应用序(application order):求值参数而后应用正则序(normal order):完全展开而后归约特殊形式(special form):1 (define (<name 阅读全文
posted @ 2012-10-30 11:09 sungoshawk 阅读(264) 评论(0) 推荐(0) 编辑