第一天：开始历险 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
总结Factor 84
第3章 Elm 86
第一天：掌握基础 87
第二天：驯服回调 97
第三天：一切都是游戏 107
Elm总结 119
第4章 Elixir 120
第一天：夯实基础 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
第三天自习 161
Exlir总结 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
Julia总结 197
优势 197
劣势 198
最后的思考 198
第6章 miniKanren 199
第一天：代码的一致性匹配 199
安装core．logic 200
目标一定要成功 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章 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
· · · · · · (收起)
具体描述
深入研習對未來編程具有重要意義的7種語言
Lua、Factor、Elixir、Elm、Julia、Idris和MiniKanren
本書帶領讀者認識和學習7種編程語言，旨在幫助讀者探索更為強大的編程工具。
本書延續瞭同係列的暢銷書《七周七語言》《七周七數據庫》和《七周七Web開發框架》的體例和風格。
全書共8章，前7章介紹瞭Lua、Factor、Elm、Elixir、Julia、miniKanren和Idris共計7種編程語言，最後一章總結迴顧瞭所有的知識點。書中對每一種編程語言的介紹，都為編程開發帶來瞭獨特而強大的思路。除此之外，書中還提供瞭一係列代碼示例和在綫資源以供參考。
本書適閤有一定基礎的開發人員閱讀，能夠幫助讀者拓寬思路，激發更多的靈感。
用户评价
##快餐书
评分##确实有各异的语言，其中讲到一些前沿
评分##我觉得比较有趣的是elm的基于stream的反应式编程以及idris的依赖类型和自动定理证明。factor基于栈感觉怪怪的不像高级语言。另外对Julia多重分派和类型系统以及并发支持吹得我都想学着试试了。
评分##elm那章已经完全过时了
评分是也乎 ╮(╯▽╰)╭ 能找到的唯一 factor 相关图书… 先刷再回评~ i am groooot... 主要重看 elixir 部分~ 因为 L.Armstrong RIP 了 erl 荣耀只能靠不死药了~ 啊啊啊啊啊啊啊啊~
评分##Idris部分被千里冰封点名批评(https://github.com/ice1000/Books/blob/master/Wow-FV-zh/%E5%A5%BD%E8%80%B6%EF%BC%8C%E6%98%AF%E5%BD%A2%E5%BC%8F%E9%AA%8C%E8%AF%81%EF%BC%81.pdf)
评分##elm那章已经完全过时了
评分##确实有各异的语言，其中讲到一些前沿
评分##elm那章已经完全过时了
相关图书
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2026 tushu.tinynews.org All Rights Reserved. 求知書站 版权所有