
获得徽章 0
- 简单记录下自学数据抽象(Data Abstraction)的内容。
数据抽象包括 4 个部分:
- 构造器:用于构建抽象的实例
- 选择器:用于获取抽象的组成部分
- 操作:用于操作抽象,同时保持抽象的使用与其表示的内部细节之间的屏障
- 契约:指定构造器和选择器及其行为之间的关系
闭包是处理复合数据时的一个关键概念,意味着我们用来组合数据对象的粘合剂不仅应该允许我们组合原始数据对象,还应该允许我们组合复合数据对象。展开评论点赞 - 数据抽象(Data Abstraction)感觉有点“道生一,一生二,二生三,三生万物”的感觉。
比如,我们熟悉的【点--线--面--体--万物】。
- 创建一个点 Point:(cons x y),即用 cons 来 pair 最原始的横坐标 x、竖坐标 y
- 创建一条线 Line:(cons point1 point2)
- 创建一个面 Triangle:(cons line1 cons (line2 line3))
...展开赞过11 - SICP Lecture 7 课堂笔记:如何写好程序
- 程序设计(创建合适的数据结构存储信息,维护接口,流程抽象和理清数据流)
- 写文档说明
- Debug
- 类型(Type)作为程序编写和调试的强大工具评论点赞 - 这本书居然这么老!
Alonzo Church 在 1941 年写的 The Calculi of Lambda-Conversion。它详细地介绍了 Lambda 演算,这是一种用来研究函数和计算的数学工具。Lambda 演算后来帮助人们创造了一种新的编程方式,叫做函数式编程,这对计算机科学的发展有很大帮助。赞过评论2 - "我认为未来整个行业的管理层级将会减少。
如果让我猜测的话,懂技术的产品经理或具有产品洞察力的工程师可能会成为公司中最有价值的人。"
— Perplexity 联合创始人 Johnny Ho评论点赞 - Structure and Interpretation of Computer Programs(简称 SICP)确实是一本好书。
1、控制大型软件系统复杂性的主要技术:抽象、接口、新语言
2、λ 演算后面看看 Philip Wadler 的演讲
3、worrydream.com
展开评论点赞