计算机
类型
7.8
豆瓣评分
可以朗读
语音朗读
226千字
字数
2016-10-01
发行日期
展开全部
主编推荐语
七种编程语言学习探索，强大工具思路全面解析。
内容简介
本书带领读者认识和学习7种编程语言，更好地帮助读者探索更为强大的编程工具。全书共8章，前7章介绍了Lua、Factor、Elm、Elixir、Julia、miniKanren和Idris共计7种编程语言，最后一章总结回顾了所有的知识点。书中对每一种编程语言的介绍，都为编程开发带来了独特而强大的思路。除此之外，书中还提供了一系列代码示例和在线资源以供参考。
目录
- 版权信息
- 内容提要
- 译者简介
- 对本书的好评
- 序
- 前言
- 致谢
- 第1章 Lua
- 第一天：开始历险
- 本周日程
- Lua一览
- 安装Lua
- 交互式开发
- 初窥
- Lua基础
- 表达式
- 函数
- 具名参数
- 控制流程
- 变量
- 离开REPL
- 第一天我们学了什么
- 轮到你了
- 第二天：深入了解Table
- Table当作字典用
- 穿着数组外衣的字典
- metatables
- 自制面向对象系统
- 协程
- 多任务
- Lua的发明者Roberto Ierusalimschy访谈
- 第二天我们学了什么
- 轮到你了
- 第三天：真实世界中的Lua
- 制作音乐
- 为历险做准备
- 创建项目
- 添加声效
- 从音符到歌曲
- 多声道
- Canon in D
- 第三天我们学了什么
- 轮到你了
- Lua小结
- 优势
- 劣势
- 最后的思考
- 第2章 Factor
- 第一天：栈，栈
- 安装Factor
- 使用监听器
- 开始入栈
- Factor数学
- 数据类型
- 栈重排（Stack Shuffling）
- 带有组合器的高阶命令
- 第一天我们学到了什么
- 轮到你了
- 第二天：更进一步
- 定义命令
- 返回多个值
- 获取帮助
- 使用命令表
- 运行独立的程序
- 写单元测试
- 运行一组测试
- Factor的创建者Slava Pestov的采访
- 第二天我们学到了什么
- 轮到你了
- 第三天：乘风破浪，搏击长空
- 元组
- 元组构造器
- 为购物车结账
- 把命令组装成流水管道
- 重新回顾FizzBuzz游戏
- 与生俱来以下功能
- 编辑器集成
- 演示
- 第三天我们学了什么
- 轮到你了
- Factor小结
- 优势
- 劣势
- 最后的思考
- 第3章 Elm
- 第一天：掌握基础
- 安装Elm
- 简单表达式
- 条件语句
- 构造代数数据类型（Algebraic Data Type）
- 使用Records
- 使用函数
- 模式匹配（Pattern Matching）
- 函数与类型
- 第一天我们学到了什么
- 轮到你了
- 第二天：驯服回调
- 克服回调地狱
- 用lift和信号来避免回调
- 组合信号
- 维持状态
- 处理文本输入
- 绘制形状
- 第二天我们学到了什么
- 轮到你了
- 第三天：一切都是游戏
- 定义骨架
- 定义模型
- 用信号和foldp来做循环
- 步进和展现游戏
- 步进（stepping）游戏
- 第三天我们学到了什么
- 轮到你了
- Elm小结
- 优势
- 劣势
- 最后的思考
- 第4章 Elixir
- 第一天：夯实基础
- 安装Elixir
- 所以说……它是Ruby++，对吗
- 不，不是Ruby
- 编写函数
- 使用管道组织程序
- 使用模块
- 命名函数
- do构造块
- 使用map
- list
- for推导
- keyword List
- 函数语法糖
- 第一天我们学到了什么
- 轮到你了
- 第二天：控制变化
- Mix
- 从具体到元
- 使用struct为字段命名
- 创建具体行为
- 为状态机建模
- 添加状态机行为
- 寻找模式
- 编写测试
- 使用宏实现should
- 编写更多的测试
- 编写一个复杂的宏
- 理解编译期流程
- 构造一个骨架
- 理解编译期流程，第2部分
- 使用状态机
- 第二天我们学到了什么
- 轮到你了
- 第三天：衍生和重生
- 衍生进程
- 构建一个OTP应用
- 在终端中使用OTP
- 可靠性监护
- 第三天我们学到了什么
- 轮到你了
- Exlir小结
- 优势
- 劣势
- 最后的思考
- 第5章 Julia
- 第一天：无谓的反抗
- 安装Julia
- 内置类型
- 基本运算符
- 字典和集合
- 24世纪的数组
- 索引和切片
- 多维数组
- 第一天我们学到了什么
- 轮到你了
- 第二天：吸收
- 控制流
- 用户定义类型和函数
- 并发
- 采访Julia的创始人：Jeff Bezanson, Stefan Karpinski, Viral Shah, Alan Edelman
- 第二天我们学到了什么
- 轮到你了
- 第三天：打成一片
- 转换代码而不是数据
- 图像切片和切块
- 第三天我们学到了什么
- 轮到你了
- Julia小结
- 优势
- 劣势
- 最后的思考
- 第6章 miniKanren
- 第一天：代码的一致性匹配
- 安装core.logic
- 目标一定要成功
- 使用关系
- 用因子编程
- 平行宇宙
- 咒语的秘密
- 第一天我们学到了什么
- 轮到你了
- 第二天：混合逻辑与函数
- 模式，那里都是模式
- 用上散列图
- 另一种判定
- 对David Nolen的采访
- 第二天我们学到了什么
- 轮到你了
- 第三天：用逻辑来写故事
- 用有限域编程
- 神奇的故事
- 第三天我们学到了什么
- 轮到你了
- MiniKanren小结
- 优势
- 劣势
- 最后的思考
- 第7章 Idris
- 第一天：基础
- 安装Idris
- 理解基础
- 原生类型和表达式
- 函数
- 定义数据类型
- 第一天我们学到了什么
- 轮到你了
- 第二天：开始使用依赖类型
- 理解依赖类型
- 派生依赖类型
- 闰年里的日期限定
- 第二天我们学到了什么
- 轮到你了
- 第三天：依赖类型实践
- 智能补全
- 证明完毕，亲爱的华生
- 交互式证明
- 下一步
- 证明为我们做了什么
- 现实世界
- 一段乱糟糟的C++代码
- 指称设计
- 回顾
- 改善
- 轮到你了
- Idris小结
- 优势
- 劣势
- 最后的思考
- 第8章 总结
- 起源
- 中央高速公路
- 前沿
- 脏地图
- 最后的挑战
- 欢迎来到异步社区！
展开全部
评分及书评
尚无评分
目前还没人评分
出版方
人民邮电出版社
人民邮电出版社是工业和信息化部主管的大型专业出版社，成立于1953年10月1日。人民邮电出版社坚持“立足信息产业、面向现代社会、传播科学知识、服务科教兴国”，致力于通信、计算机、电子技术、教材、少儿、经管、摄影、集邮、旅游、心理学等领域的专业图书出版。
