Structure and Interpretation of Computer Programs - 2nd Edition (MIT)

按有用程度 按页码先后 最新笔记

• 

  Building Abstractions with Procedures

  reflector (逆风的方向，更适合飞翔)

  MIT的视频课程提到了metalinguistic abstraction，也就是元语言学的抽象。Wiki的解释如下 举例来说：为一个机场建模，面向过程（C语言）的程序员会建造一个数据的结构体来表示机场的元素，还会建造函数去操纵这些结构体；面向对象（C++）的程序员会建造一个具有特定方法的对象去表示元素和他们的行为；函数式（Scheme）程序员会创建既表示机场中的元素也表示他们的行为的函数解决问题；而元语言程序员会通过创造一个有自己的基.. (更多)

  MIT的视频课程提到了metalinguistic abstraction，也就是元语言学的抽象。Wiki的解释如下

  举例来说：为一个机场建模，面向过程（C语言）的程序员会建造一个数据的结构体来表示机场的元素，还会建造函数去操纵这些结构体；面向对象（C++）的程序员会建造一个具有特定方法的对象去表示元素和他们的行为；函数式（Scheme）程序员会创建既表示机场中的元素也表示他们的行为的函数解决问题；而元语言程序员会通过创造一个有自己的基本数据类型和操作方法的新语言来建模。

  这就是通常意义上的Domain-specific language，其他的语言通常在语法上没有太大的灵活性去创造一个特定领域的语言，而Lisp的宏可以很好的完成这个任务，这就是为什么Lisp有很多方言了。 (收起)

  2011-09-30 11:06:04   1人收藏   回应

  收藏

  推荐
• 

  Building Abstractions with Procedures

  reflector (逆风的方向，更适合飞翔)

  If Lisp is not a mainstream language, why are we using it as the framework for our discussion of programming? Because the language possesses unique features that make it an excellent medium for studying important programming constructs and data structures and for relating them to the linguistic features that support them. The most significant of these features is the fact that Lisp descriptions of... (更多)

  If Lisp is not a mainstream language, why are we using it as the framework for our discussion of programming? Because the language possesses unique features that make it an excellent medium for studying important programming constructs and data structures and for relating them to the linguistic features that support them. The most significant of these features is the fact that Lisp descriptions of processes, called procedures, can themselves be represented and manipulated as Lisp data.

  (收起)

  2011-09-29 21:26:56   回应

  收藏

  推荐
• 

  第225页

  [已注销]

  第三章 模块化,对象和状态 本章讲的是模块化的技术. 一个核心的问题就是计算过程中的状态的保存. 就像过程有迭代和递归两种一样. 数据状态的保存也可以分为两种:链表和流. 流是延迟求值的基础,这也是后来python中最最著名的特征. 也为后来函数式编程的时候把递归迭代转换成尾递归提供了理论基础 (更多)

  第三章 模块化,对象和状态

  本章讲的是模块化的技术.

  一个核心的问题就是计算过程中的状态的保存.

  就像过程有迭代和递归两种一样.

  数据状态的保存也可以分为两种:链表和流.

  流是延迟求值的基础,这也是后来python中最最著名的特征.

  也为后来函数式编程的时候把递归迭代转换成尾递归提供了理论基础 (收起)

  2011-05-12 17:32:00   回应

  收藏

  推荐

• 

  第48页

  [已注销]

  /代码内容已省略/ (更多)

  第一章 构造过程抽象
  
  以lisp的一个方言为讲解对象
  从基本的数学过程抽象到程序过程
  
  比如把数学归纳在程序上实现为递归调用
  然后递归调用又可以有几种实现方式
  比如树型递归,尾递归,迭代和递归.
  
  将各个过程列出来,然后对比它们的特性
  
  然后从程序语言设计的角度告诉读者
  哪些部分是最基础的构成单元,哪是是所谓的"语法糖"
  
  在此之上,抽象出更为高级的过程
  
  lisp跟c都是比较精炼的语言
  区别在于,c是抽象出来一个机器的最小集合
  而lisp抽象出计算的最小集合
  然后在各自的基础上进行更高级别的抽象
  
  那么计算机界的规律就是,工程性的语言永远比学术性的语言流行
  但是它会不断地从学术性语言中借鉴特性
  然后在某些地方做出妥协,从而在实际应用中更为高效和方便
  
  看完第一章只有一个疑问就是,这他妈应该是大一的小朋友读的书嘛
  

  (收起)

  2011-04-27 09:37:29   回应

  收藏

  推荐
• 

  第147页

  [已注销]

  /代码内容已省略/ (更多)

  第二章 构造数据抽象
  
  我相信,任何一个编程语言最基本的数据类型都应该是数字.
  但在这之上的构造方式却不尽相同了.
  
  比如强类型的c/c++语言,虽然基本类型少的可怜,只有数字和字符(c中的字符串是以约定的方式实现的,不是语言的构成元素).但它们允许用户构造出无数种的类型.
  
  lisp和python一样,只提供基础的几种类型,list,map等.要求用户在这之上建立自己的数据类型.像在注角里说的,让100个函数在一个数据结构上操作,远比10个函数在10个数据结构上操作更好些.
  
  后来的c++用另外的方式实现这种特点,比如类继承等.
  

  (收起)

  2011-04-29 12:40:11   回应

  收藏

  推荐
• 

  第225页

  [已注销]

  第三章 模块化,对象和状态 本章讲的是模块化的技术. 一个核心的问题就是计算过程中的状态的保存. 就像过程有迭代和递归两种一样. 数据状态的保存也可以分为两种:链表和流. 流是延迟求值的基础,这也是后来python中最最著名的特征. 也为后来函数式编程的时候把递归迭代转换成尾递归提供了理论基础 (更多)

  第三章 模块化,对象和状态

  本章讲的是模块化的技术.

  一个核心的问题就是计算过程中的状态的保存.

  就像过程有迭代和递归两种一样.

  数据状态的保存也可以分为两种:链表和流.

  流是延迟求值的基础,这也是后来python中最最著名的特征.

  也为后来函数式编程的时候把递归迭代转换成尾递归提供了理论基础 (收起)

  2011-05-12 17:32:00   回应

  收藏

  推荐

• 

  Building Abstractions with Procedures

  reflector (逆风的方向，更适合飞翔)

  MIT的视频课程提到了metalinguistic abstraction，也就是元语言学的抽象。Wiki的解释如下 举例来说：为一个机场建模，面向过程（C语言）的程序员会建造一个数据的结构体来表示机场的元素，还会建造函数去操纵这些结构体；面向对象（C++）的程序员会建造一个具有特定方法的对象去表示元素和他们的行为；函数式（Scheme）程序员会创建既表示机场中的元素也表示他们的行为的函数解决问题；而元语言程序员会通过创造一个有自己的基.. (更多)

  MIT的视频课程提到了metalinguistic abstraction，也就是元语言学的抽象。Wiki的解释如下

  举例来说：为一个机场建模，面向过程（C语言）的程序员会建造一个数据的结构体来表示机场的元素，还会建造函数去操纵这些结构体；面向对象（C++）的程序员会建造一个具有特定方法的对象去表示元素和他们的行为；函数式（Scheme）程序员会创建既表示机场中的元素也表示他们的行为的函数解决问题；而元语言程序员会通过创造一个有自己的基本数据类型和操作方法的新语言来建模。

  这就是通常意义上的Domain-specific language，其他的语言通常在语法上没有太大的灵活性去创造一个特定领域的语言，而Lisp的宏可以很好的完成这个任务，这就是为什么Lisp有很多方言了。 (收起)

  2011-09-30 11:06:04   1人收藏   回应

  收藏

  推荐
• 

  Building Abstractions with Procedures

  reflector (逆风的方向，更适合飞翔)

  If Lisp is not a mainstream language, why are we using it as the framework for our discussion of programming? Because the language possesses unique features that make it an excellent medium for studying important programming constructs and data structures and for relating them to the linguistic features that support them. The most significant of these features is the fact that Lisp descriptions of... (更多)

  If Lisp is not a mainstream language, why are we using it as the framework for our discussion of programming? Because the language possesses unique features that make it an excellent medium for studying important programming constructs and data structures and for relating them to the linguistic features that support them. The most significant of these features is the fact that Lisp descriptions of processes, called procedures, can themselves be represented and manipulated as Lisp data.

  (收起)

  2011-09-29 21:26:56   回应

  收藏

  推荐
• 

  第225页

  [已注销]

  第三章 模块化,对象和状态 本章讲的是模块化的技术. 一个核心的问题就是计算过程中的状态的保存. 就像过程有迭代和递归两种一样. 数据状态的保存也可以分为两种:链表和流. 流是延迟求值的基础,这也是后来python中最最著名的特征. 也为后来函数式编程的时候把递归迭代转换成尾递归提供了理论基础 (更多)

  第三章 模块化,对象和状态

  本章讲的是模块化的技术.

  一个核心的问题就是计算过程中的状态的保存.

  就像过程有迭代和递归两种一样.

  数据状态的保存也可以分为两种:链表和流.

  流是延迟求值的基础,这也是后来python中最最著名的特征.

  也为后来函数式编程的时候把递归迭代转换成尾递归提供了理论基础 (收起)

  2011-05-12 17:32:00   回应

  收藏

  推荐