七周七语言 卷2 ＝ SEVEN MORE LNGUAGES IN SEVEN WEEKS LANGUAGES THAT ARE SHAPING THE FUTUREPDF|Epub|txt|kindle电子书版本网盘下载

七周七语言 卷2 ＝ SEVEN MORE LNGUAGES IN SEVEN WEEKS LANGUAGES THAT ARE SHAPING THE FUTUREPDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 Lua1

第一天：开始历险1

本周日程2

Lua一览3

安装Lua3

交互式开发3

初窥4

Lua基础5

表达式6

函数7

具名参数10

控制流程10

变量11

离开REPL12

第一天我们学了什么13

轮到你了13

第二天：深入了解Table14

Table当作字典用14

穿着数组外衣的字典16

metatables17

自制面向对象系统21

协程25

多任务26

Lua的发明者RobertoIerusalimschy访谈29

第二天我们学了什么30

轮到你了31

第三天：真实世界中的Lua32

制作音乐33

为历险做准备33

创建项目34

添加声效36

从音符到歌曲39

多声道43

Canon in D45

第三天我们学了什么46

轮到你了46

Lua小结47

优势47

劣势47

最后的思考48

第2章 Factor49

第一天：栈，栈50

安装Factor50

使用监听器51

开始入栈52

Factor数学53

数据类型53

栈重排（StackShuffling）56

带有组合器的高阶命令57

第一天我们学到了什么59

轮到你了59

第二天：更进一步61

定义命令61

返回多个值61

获取帮助62

使用命令表63

运行独立的程序64

写单元测试67

运行一组测试68

Factor的创建者SlavaPestov的采访69

第二天我们学到了什么70

轮到你了71

第三天：乘风破浪，搏击长空72

元组72

元组构造器73

为购物车结账74

把命令组装成流水管道75

重新回顾FizzBuzz游戏78

与生俱来以下功能81

编辑器集成82

演示83

第三天我们学了什么83

轮到你了84

Factor小结84

优势84

劣势85

最后的思考85

第3章 Elm86

第一天：掌握基础87

安装Elm87

简单表达式87

条件语句89

构造代数数据类型（Algebraic Data Type）89

使用Records91

使用函数92

模式匹配（PatternMatching）94

函数与类型94

第一天我们学到了什么96

轮到你了97

第二天：驯服回调97

克服回调地狱99

用lift和信号来避免回调100

组合信号101

维持状态102

处理文本输入104

绘制形状105

第二天我们学到了什么106

轮到你了106

第三天：一切都是游戏107

定义骨架108

定义模型108

用信号和foldp来做循环109

步进和展现游戏109

步进（stepping）游戏112

第三天我们学到了什么117

轮到你了118

E1m小结119

优势119

劣势119

最后的思考119

第4章 Elixir120

第一天：夯实基础121

安装Elixir121

所以说…它是Ruby＋＋，对吗122

不，不是Ruby122

编写函数124

使用管道组织程序125

使用模块126

命名函数127

do构造块127

使用map129

list130

for推导133

keyword List134

函数语法糖135

第一天我们学到了什么135

轮到你了136

第二天：控制变化137

Mix137

从具体到元138

使用struct为字段命名139

创建具体行为140

为状态机建模141

添加状态机行为142

寻找模式143

编写测试144

使用宏实现should145

编写更多的测试146

编写一个复杂的宏147

理解编译期流程148

构造一个骨架148

理解编译期流程，第2部分150

使用状态机152

第二天我们学到了什么152

轮到你了153

第三天：衍生和重生154

衍生进程155

构建一个OTP应用156

在终端中使用OTP158

可靠性监护159

第三天我们学到了什么161

轮到你了161

Exlir小结162

优势162

劣势163

最后的思考163

第5章 Julia164

第一天：无谓的反抗165

安装Julia165

内置类型166

基本运算符167

字典和集合168

24世纪的数组170

索引和切片171

多维数组172

第一天我们学到了什么175

轮到你了175

第二天：吸收176

控制流176

用户定义类型和函数178

并发182

采访Julia的创始人：JeffBezanson，Stefan Karpinski，Viral Shah，Alan Edelman185

第二天我们学到了什么186

轮到你了187

第三天：打成一片187

转换代码而不是数据188

图像切片和切块191

第三天我们学到了什么196

轮到你了196

Julia小结197

优势197

劣势198

最后的思考198

第6章 miniKanren199

第一天：代码的一致性匹配199

安装core.1 ogic200

目标一定要成功201

使用关系202

用因子编程204

平行宇宙206

咒语的秘密207

第一天我们学到了什么208

轮到你了209

第二天：混合逻辑与函数210

模式，那里都是模式210

用上散列图212

另一种判定213

对David Nolen的采访216

第二天我们学到了什么217

轮到你了218

第三天：用逻辑来写故事218

用有限域编程219

神奇的故事221

第三天我们学到了什么228

轮到你了228

MiniKanren小结229

优势229

劣势230

最后的思考230

第7章 Idris231

第一天：基础232

安装Idris232

理解基础233

原生类型和表达式233

函数234

定义数据类型236

第一天我们学到了什么240

轮到你了240

第二天：开始使用依赖类型241

理解依赖类型241

派生依赖类型243

闰年里的日期限定245

第二天我们学到了什么248

轮到你了248

第三天：依赖类型实践249

智能补全249

证明完毕，亲爱的华生251

交互式证明252

下一步254

证明为我们做了什么256

现实世界257

一段乱糟糟的C＋＋代码257

指称设计258

回顾259

改善260

轮到你了261

Idris小结262

优势262

劣势262

最后的思考262

第8章 总结264

起源264

中央高速公路265

前沿267

脏地图268

最后的挑战270