七周七语言-(卷2)9787115427359兴海图书专营店 下载 pdf 百度网盘 epub 免费 2025 电子书 mobi 在线

深入研习对未来编程具有重要意义的7种语言

Lua、Factor、Elixir、Elm、Julia、Idris和MiniKanren

本书带领读者认识和学习7种编程语言，旨在帮助读者探索更为强大的编程工具。

本书延续了同系列的畅销书《七周七语言》《七周七数据库》和《七周七Web开发框架》的体例和风格。

全书共8章，前7章介绍了Lua、Factor、Elm、Elixir、Julia、miniKanren和Idris共计7种编程语言，最后一章总结回顾了所有的知识点。书中对每一种编程语言的介绍，都为编程开发带来了独特而强大的思路。除此之外，书中还提供了一系列代码示例和在线资源以供参考。

本书适合有一定基础的开发人员阅读，能够帮助读者拓宽思路，激发更多的灵感。

第1章　Lua　1

天：开始历险　1

本周日程　2

Lua一览　3

安装Lua　3

交互式开发　3

初窥　4

Lua基础　5

表达式　6

函数　7

具名参数　10

控制流程　10

变量　11

离开REPL　12

天我们学了什么　13

轮到你了　13

天：深入了解Table　14

Table当作字典用　14

穿着数组外衣的字典　16

metatables　17

自制面向对象系统　21

协程　25

多任务　26

Lua作者Roberto　Ierusalimschy

访谈　29

天我们学了什么　30

轮到你了　31

第三天：真实世界中的Lua　32

制作音乐　33

为历险做准备　33

创建项目　34

添加声效　36

从音符到歌曲　39

多声道　43

Canon　in D　45

第三天我们学了什么　46

轮到你了　46

Lua小结　47

优势　47

劣势　47

终章　48

第2章　Factor　49

天：栈，栈　50

天我们学到了什么　59

天：一步　61

运行独立的程序　64

写单元测试　67

Factor的创建者Slava·Factor的

采访　69

天我们学到了什么？　70

轮到你了　71

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

元组　72

元组构造器　73

为购物车结账　74

把命令组装成流水管道　75

重新回顾FizzBuzz游戏　78

与生俱来以能　81

编辑器集成　82

演示　83

第三天我们学了什么　83

轮到你了　84

第3章　Elm　86

天：掌握基础　87

天：驯服回调　97

第三天：一切都是游戏　107

El结　119

第4章　Elixir　1

天：夯实基础　121

安装Elixir　121

所以说……它是Ruby++，

对吗　122

不，不是Ruby　122

编写函数　124

使用管道组织程序　125

使用模块　126

命名函数　127

do构造块　127

使用map　129

list　130

for推导　133

keyword　List　134

函数语法糖　135

天我们学到了什么　135

天：控制变化　137

Mix　137

从具体到元　138

使用struct为字段命名　139

创建具体行为　140

为状态机建模　141

添加状态机行为　142

寻找模式　143

编写测试　144

使用宏实现should　145

编写更多的测试　146

编写一个复杂的宏　147

理解编译期流程　148

构造一个骨架　148

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

使用状态机　152

天我们学到了什么　152

第三天：衍生和重生　154

衍程　155

构建一个OTP应用　156

在终端中使用OTP　158

可靠监护　159

第三天我们学到了什么　161

第三天自61

Exli结　162

优势　162

弱点　163

后的思考　163

第5章　Julia　164

天：无谓的反抗　165

安装Julia　165

内置类型　166

天我们学到了什么？　175

轮到你了　175

天：吸收　176

控制流　176

用户定义类型和函数　178

并发　182

采访Julia的创始人：Jeff　Bezanson, Stefan

Karpinski,　Viral Shah, Alan Edelman　185

我们天学到了什么？　186

轮到你了　187

第三天：打成一片　187

转换代码而不是数据　188

图像切处和切块　191

第三天我们学到了什么？　196

轮到你了　196

Juli结　197

优势　197

劣势　198

后的思考　198

第6章　miniKanren　199

天：代码的一致匹配　199

安.logic　0

目标要　1

使用关系　2

用因子编程　4

平行宇宙　6

咒语的秘密　7

天我们学到了什么　8

轮到你了　9

天：混合逻辑与函数　210

模式，那里都是模式　210

用上散列图　212

另一种判定　213

对David　Nolen的采访　216

天我们学到了什么　217

轮到你了　218

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

用有限域编程　219

神奇的故事　221

第三天我们学到了什么　228

轮到你了　228

miniKanren的回顾　229

优势　229

劣势　230

写在后　230

第7章　Idris　231

天：基础　232

安装Idris　232

理解基础　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

第8章结　264

起源　264

中央高速公路　265

前沿　267

脏地图　268

后的挑战　270

Bruce Tate，icanmaketibetter.com的CTO，十多本技术图书的作者（包括《Seven Languages in Seven Weeks》）。也是“七周七”系列图书的编辑。

Fred Daoud 热爱函数式编程，他和Jack Moffitt共同编著了《Seven Web

Frameworks in Seven Weeks》。

Ian Dees 在波特兰市的一家测试设备生厂商从事编码和测试工作。他是《Cucumber

Recipes》一书的合著者。Jack Moffitt是Mozilla Research的高级研发工程师，负责用Mozilla的新的Rust语言编写的一款实验性的浏览器引擎（名为Servo）

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：七周七语言-(卷2)9787115427359兴海图书专营店在线阅读

在线听书地址：七周七语言-(卷2)9787115427359兴海图书专营店在线收听

在线购买地址：七周七语言-(卷2)9787115427359兴海图书专营店在线购买

暂无原文赏析，正在全力查找中！

编辑推荐

技术图书“七周七”系列新佳作 深入研来编程具有重要意义的7种语言 Lua、Factor、Elixir、Elm、Julia、Idris和MiniKanren 当你深入学所介绍的每一种语言时，你将能够对语言的抽象和原理一窥门径，而这对于你用任何语言编写更好的程序都颇有帮助。 通过“七周七”系列中的这本新图书，你可以按部班地学重要的编程范型。你将会学令人激动的语言： Lua 、Factor 、Elixir 、Elm 、Julia 、Idris 和miniKanren。 本书将拓展你的视野，教你如何使用多核和分布来解决问题。在每一种语言中，你将使用构成该语言的技术来解决一个不寻常的问题。用Elm而不使用一个回调来编写一能完备的游戏，用miniKanren编一个写故事的程序，用Lua编写自己的音乐播放程序，用Julia编写一个图像压缩程序，用Idris实现数学中的证明，用Factor编写一个解谜游戏。读完本书，你将会掌握7种不同的语言，从其中的每一种语言，都能学到一些重要的技术。;

书籍介绍

深入研习对未来编程具有重要意义的7种语言

Lua、Factor、Elixir、Elm、Julia、Idris和MiniKanren

本书带领读者认识和学习7种编程语言，旨在帮助读者探索更为强大的编程工具。

本书延续了同系列的畅销书《七周七语言》《七周七数据库》和《七周七Web开发框架》的体例和风格。

全书共8章，前7章介绍了Lua、Factor、Elm、Elixir、Julia、miniKanren和Idris共计7种编程语言，最后一章总结回顾了所有的知识点。书中对每一种编程语言的介绍，都为编程开发带来了独特而强大的思路。除此之外，书中还提供了一系列代码示例和在线资源以供参考。

本书适合有一定基础的开发人员阅读，能够帮助读者拓宽思路，激发更多的灵感。