【编程语言】电子书 - 自制编程语言

书籍目录

封面

数字版权声明

作者介绍

扉页

版权页

版权声明

译者序

前言

目录

第1章　引子

1.1　为什么要制作编程语言

1.2　自制编程语言并不是很难

1.3　本书的构成与面向读者

1.4　用什么语言来制作

1.5　要制作怎样的语言

1.5.1　要设计怎样的语法

1.5.2　要设计怎样的运行方式

1.6　环境搭建

1.6.1　搭建开发环境

1.6.2　本书涉及的源代码以及编译器

第2章　试做一个计算器

2.1　yacc/lex 是什么

2.2　试做一个计算器

2.2.1　lex

2.2.2　简单正则表达式讲座

2.2.3　yacc

2.2.4　生成执行文件

2.2.5　理解冲突所代表的含义

2.2.6　错误处理

2.3　不借助工具编写计算器

2.3.1　自制词法分析器

2.3.2　自制语法分析器

2.4　少许理论知识——LL(1) 与LALR(1)

2.5　习题：扩展计算器

2.5.1　让计算器支持括号

2.5.2　让计算器支持负数

第3章　制作无类型语言crowbar

3.1　制作crowbar ver.0.1语言的基础部分

3.1.1　crowbar是什么

3.1.2　程序的结构

3.1.3　数据类型

3.1.4　变量

3.1.5　语句与结构控制

3.1.6　语句与运算符

3.1.7　内置函数

3.1.8　让crowbar支持C语言调用

3.1.9　从crowbar中调用C语言（内置函数的编写）

3.2　预先准备

3.2.1　模块与命名规则

3.2.2　内存管理模块MEM

3.2.3　调试模块DBG

3.3　crowbar ver.0.1的实现

3.3.1　crowbar的解释器——CRB_Interpreter

3.3.2　词法分析——crowbar.l

3.3.3　分析树的构建——crowbar.y与create.c

3.3.4　常量折叠

3.3.5　错误信息

3.3.6　运行——execute.c

3.3.7　表达式求值——eval.c

3.3.8　值——CRB_Value

3.3.9　原生指针型

3.3.10　变量

3.3.11　字符串与垃圾回收机制——string_pool.c

3.3.12　编译与运行

第4章　数组和标记- 清除垃圾回收器

4.1　crowbar ver.0.2

4.1.1　crowbar的数组

4.1.2　访问数组元素

4.1.3　数组是一种引用类型

4.1.4　为数组添加元素

4.1.5　增加调用（伪）方法的功能

4.1.6　其他细节

4.2　制作标注—清除GC

4.2.1　引用数据类型的结构

4.2.2　标记- 清除 GC

4.2.3　crowbar栈

4.2.4　其他根

4.2.5　原生函数的形式参数

4.3　GC的实现

4.3.1　对象的管理方法

4.3.2　GC何时启动

4.3.3　清除阶段

4.4　其他修改

4.4.1　修改语法

4.4.2　方法的模拟

4.4.3　左值的处理

4.4.4　创建数组和原生函数的书写方法

4.4.5　修改原生指针类型

第5章　中文支持和Unicode

5.1　中文支持策略和基础知识

5.1.1　现存问题

5.1.2　宽字符（双字节）串和多字节字符串

5.1.3　多字节字符/ 宽字符之间的转换函数群

5.2　Unicode

5.2.1　Unicode的历史

5.2.2　Unicode的编码方式

5.3　crowbar book_ver.0.3的实现

5.3.1　要实现到什么程度？

5.3.2　发起转换的时机

5.3.3　关于区域设置

5.3.4　解决0x5C 问题

5.3.5　应该是什么样子

第6章　制作静态类型的语言Diksam

6.1　制作Diksam Ver 0.1语言的基本部分

6.1.1　Diksam的运行状态

6.1.2　什么是Diksam

6.1.3　程序结构

6.1.4　数据类型

6.1.5　变量

6.1.6　语句和流程控制

6.1.7　表达式

6.1.8　内建函数

6.1.9　其他

6.2　什么是静态的/ 执行字节码的语言

6.2.1　静态类型的语言

6.2.2　什么是字节码

6.2.3　将表达式转换为字节码

6.2.4　将控制结构转换为字节码

6.2.5　函数的实现

6.3　Diksam ver.0.1的实现——编译篇

6.3.1　目录结构

6.3.2　编译的概要

6.3.3　构建分析树（create.c）

6.3.4　修正分析树（fix_tree.c）

6.3.5 Diksam的运行形式——DVM_Executable

6.3.6　常量池

6.3.7　全局变量

6.3.8　函数

6.3.9　顶层结构的字节码

6.3.10　行号对应表

6.3.11　栈的需要量

6.3.12　生成字节码（generate.c）

6.3.13　生成实际的编码

6.4　Diksam虚拟机

6.4.1　加载/ 链接DVM_Executable到DVM

6.4.2　执行——巨大的switch case

6.4.3　函数调用

第7章　为Diksam引入数组

7.1　Diksam中数组的设计

7.1.1　声明数组类型的变量

7.1.2　数组字面量

7.2　修改编译器

7.2.1　数组的语法规则

7.2.2　TypeSpecifier结构体

7.3　修改DVM

7.3.1　增加指令

7.3.2　对象

7.3.3　增加null

7.3.4　哎！还缺点什么吧？

第8章　将类引入Diksam

8.1　分割源文件

8.1.1　包和分割源代码

8.1.2 DVM_ExecutableList

8.1.3　ExecutableEntry

8.1.4　分开编译源代码

8.1.5　加载和再链接

8.2　设计Diksam中的类

8.2.1　超简单的面向对象入门

8.2.2　类的定义和实例创建

8.2.3　继承

8.2.4　关于接口

8.2.5　编译与接口

8.2.6　Diksam怎么会设计成这样？

8.2.7　数组和字符串的方法

8.2.8　检查类的类型

8.2.9　向下转型

8.3　关于类的实现——继承和多态

8.3.1　字段的内存布局

8.3.2　多态——以单继承为前提

8.3.3　多继承——C++

8.3.4　Diksam的多继承

8.3.5　重写的条件

8.4　关于类的实现

8.4.1　语法规则

8.4.2　编译时的数据结构

8.4.3　DVM_Executable中的数据结构

8.4.4　与类有关的指令

8.4.5　方法调用

8.4.6　super

8.4.7　类的链接

8.4.8　实现数组和字符串的方法

8.4.9　类型检查和向下转型

第9章　应用篇

9.1　为crowbar引入对象和闭包

9.1.1　crowbar的对象

9.1.2　对象实现

9.1.3　闭包

9.1.4　方法

9.1.5　闭包的实现

9.1.6　试着跟踪程序实际执行时的轨迹

9.1.7　闭包的语法规则

9.1.8　普通函数

9.1.9　模拟方法（修改版）

9.1.10　基于原型的面向对象

9.2　异常处理机制

9.2.1　为crowbar引入异常

9.2.2　setjmp()/longjmp()

9.2.3　为Diksam引入异常

9.2.4　异常的数据结构

9.2.5　异常处理时生成的字节码

9.2.6　受查异常

9.3　构建脚本

9.3.1　基本思路

9.3.2　YY_INPUT

9.3.3　Diksam的构建脚本

9.3.4　三次加载/ 链接

9.4　为crowbar引入鬼车

9.4.1　关于“鬼车”

9.4.2　正则表达式常量

9.4.3　正则表达式的相关函数

9.5　其他

9.5.1　foreach和迭代器（crowbar）

9.5.2　switch case（Diksam）

9.5.3　enum（Diksam）

9.5.4　delegate（Diksam）

9.5.5　final、const（Diksam）

附录

附录A　crowbar语言的设计

A.1　程序结构

A.2　文字语法规则

A.2.1　源文件的编码

A.2.2　关键字

A.2.3　空白字符的处理

A.2.4　注释

A.2.5　标识符

A.2.6　字面量

A.2.7　运算符

A.2.8　分隔符

A.3　数据类型

A.3.1　类型一览

A.3.2　字符串类型

A.3.3　数组类型

A.3.4　对象类型

A.3.5　函数类型

A.3.6　原生指针类型

A.3.7　迭代器

A.3.8　异常

A.4　表达式

A.4.1　类型转换

A.4.2　运算符一览

A.5　语句

A.5.1　表达式语句

A.5.2　if语句

A.5.3　while语句

A.5.4　for语句

A.5.5　foreach语句

A.5.6　return语句

A.5.7　break语句

A.5.8　continue语句

A.5.9　try语句

A.5.10　throw语句

A.5.11　global语句

A.6　函数

A.6.1　函数定义

A.6.2　局部变量

附录B　Diksam语言的设计

B.1　程序结构

B.1.1　构成程序的要素

B.1.2　分割编译

B.1.3　解决命名冲突

B.1.4　关于全局变量的链接

B.2　语法规则

B.2.1　源文件的字符编码

B.2.2　关键字

B.2.3　空白字符的处理

B.2.4　注释

B.2.5　标识符

B.2.6　字面量

B.3　数据类型

B.3.1　基础类型

B.3.2　类/ 接口

B.3.3　派生类

B.3.4　枚举类型

B.3.5　delegate类型

B.3.6　内建方法

B.4　表达式

B.4.1　单目表达式

B.4.2　类型转换

B.4.3　运算符一览

B.5　语句

B.5.1　声明语句

B.5.2　表达式语句

B.5.3　if语句

B.5.4　switch语句

B.5.5　while语句

B.5.6　do while语句

B.5.7　for语句

B.5.8　return语句

B.5.9　break语句

B.5.10　continue语句

B.5.11　try语句

B.5.12　throw语句

B.6　函数

B.6.1　函数定义

B.6.2　函数的签名声明

B.6.3　局部变量

B.7　类/ 接口的定义

B.7.1　类定义

B.7.2　接口定义

B.7.3　字段定义

B.7.4　方法定义

B.7.5　方法重写

B.7.6　构造器

B.8　程序库

B.8.1　函数

B.8.2　内建类

附录C　Diksam Virtual Machine指令集

C.1　范例

C.2　指令一览表

编程语言实用化指南——写在最后

参考文献

译者介绍

看完了

下载地址