yqj2065的博客

OOD学习用的Scheme代码

学习函数式编程的大图(big map)/鸟瞰图

功能抽象是对计算过程的抽象，或者说，是对可执行代码的抽象。

Scheme与C系列语言的一个重大差异，在于对变量(variable)的理解和处理。

《编程导论（Java）•第3章功能抽象》Vs.《SICP•第一章构造过程抽象》

闭包，它在支持函数柯里化的编程语言，天然存在的概念。柯里化/currying，指将多元函数转化为多个一元函数连续定义。

Y combinator、Y组合子。λ表达式都是匿名函数，那么丘奇的λ演算如何定义递归呢？递归通常指一个函数直接或间接地调用自身，名字都没有，怎样调用？不动点组合子/Y combinator从理论上解决这个问题。一个简单的求阶乘的函数(可以写任意的一个递归函数为例)：(define factorial (lambda (n) (if (= n 0) ...

SICP 1.3.1  Procedures as Arguments，说明高阶函数之函数作为参数的原因：若干个函数拥有相似的算法或代码结构，对此加以抽象。(define (sum-integers a b)  (if (> a b)      0      (+ a (sum-integers (+ a 1) b))))(define (pi-sum a b)  (i

SICP学习笔记目录

丘奇数的含义

(数据、函数、操作、表达式)

接学习函数式编程，从了解变量开始(Scheme之变量)以丘奇的λ演算为根基的函数式语言，函数是重要的程序单元。例如λx.( x+1)，即“对于参数x，(计算)x+1”。Scheme中，使用lambda表达式定义函数，重点为函数的形式参数列表(formal arguments list)和函数体。格式为：(lambda ( arguments ) (body))1. la...

数据抽象(Data abstraction)是指将数据类型的抽象特征与其实现的具体细节清晰地分离。数据抽象是Parnas原则/接口与实现分离原则在类型层面（以及对象技术中）的推广，数据抽象的手段是自定义出数据类型并完成封装。——0.1.3数据抽象

Exercise 1.5.  Ben Bitdiddle has invented a test to determine whether the interpreterhe is faced with is using applicative-order evaluation or normal-orderevaluation. He defines the following two proc

Exercise 1.9，1.10

if采用正则序。

看了一段时间SICP，发现它不是我的菜。

待解决的问题：输出0-x之间 3的倍数而且含5的数，如15，54，555等等(或者输出这种数的个数)。在《编程导论(Java)》中以这个例子介绍结构化分解。所以用Scheme实现一下。package semantics.method;public class HelperMethodDemo{ //简单情况：输出0-x 之间 3的倍数而且含5的数. ////// pr

What Is Meant by Data?何谓数据、数据意味着什么？《SICP•2.1 数据抽象简介·2.1.3数据意味着什么？》，yqj2065表示没有看懂,。一本大学入门的教材，有什么看不懂的？其实，我真的不知道作者为什么要这样写！1.数据 Vs. 函数从汇编语言开始，我们知道“正是这种简单的代码“MOV AX，1234H”刻画出程序的最为底层的构造单元：指令和数据”。按...

为什么纯函数式编程语言如Scheme要用递归而且能够用递归呢？

Java中，除了基本类型，其他类型都属于类/接口类型。从讨论数据抽象的角度看，基本类型是更适合的标的物，因为从Java虚拟机规范和Java虚拟机实现层面，基本类型有了有效的接口与实现分离。而类/接口类型的数据抽象，通常我们介绍封装、信息隐藏和类的接口等概念，它们说明Java类作为数据抽象，用户需要了解的是类的接口。Scheme中，我们可以从基本类型构造新数据类型，换言之，我们可以赤裸裸地观察新