博客

我的博客覆盖了前端、后端、客户端以及系统编程等领域,以构建高效、弹性、可维护的应用程序为目标。这里记录了我对一些新技术、新工具以及在项目中的开发实践,往前翻翻还有很多不着调的诗歌。

SICP 105 - 元语言抽象

本文是对 Structure and Interpretation of Program - SICP 一书第四章“元数据抽象”的总结,包含了(几乎)所有习题的答案。元数据抽象提供给开发者看待和解决问题的新视角,在领域相关问题上可提供相比较通用程序设计语言更加简洁且具有表现力的解决方案。本文将介绍如何实现一个(不包含错误处理的基于 Scheme 基本过程和控制能力)的基本 Lisp 解释器,并且基于这种解释器的变形实现惰性求值、非确定性问题解决,并且在最后介绍了如何从头实现一门具有基本结构、组合能力和抽象能力的逻辑语言(数据查询语言)。

SICP 104 - 模块化、状态和对象

这是 SICP 第三章的内容总结,包含了全部习题的答案。本文阐述了使用赋值和局部状态实现更好的模块化,探讨了这种模型在模拟真实物体上的优势,以及这种为代码引入“时间维度”带来的后果:对于同一和变化、引用透明性和把握代码的时序性导致的心智负担等问题,尤其在并发模型下的严重水土不服。作为替代,我们引入了同样可以表示状态的流模型,通过对流模型的概念和应用的审视来探索其适用范围,并最终得出结论:当非共享状态大于共享时,对象可更好的实现模块化,反之基于函数式(非赋值)和流模型则更方便。

SICP 103 - 构造数据抽象

这是 SICP 第二章的内容总结,包含了大部分习题的答案。数据抽象是软件工程的基石之一,本文阐述了数据抽象的方法,如何对层次性数据进行抽象,如何对数据抽象的不同表现形式进行处理(基于标签、数据导向风格和消息传递风格),如何打造数据抽象层次这几个问题。

SICP 102 - 构造过程抽象

这是 SICP 第一章的内容总结,包含了所有习题的答案。过程抽象是编程最重要的特性之一,本文阐释了为什么要进行过程抽象,如何进行好过程抽象,过程抽象的主要实践,对不同过程抽象的时间和空间认识,如何进行抽象的抽象,如何基于抽象的抽象进行工作,以及在什么时候需要什么层次的抽象这几个问题。

SICP 101 - 通过代码看世界

本文是对 Structure and Interpretation of Program - SICP 一书导论部分的总结,作者提出程序员往往和三个对象相关:人的大脑、程序集合、计算机本身。SICP 使用 Scheme 语言来教授编程,Scheme 的英文含义正是“做计划”,编程的核心在于对现实世界的不断抽象,如果说艺术解释了我们的梦想,计算机则以程序之名在执行它们。

1...345...14