Scala
以Scala的真实运行模型为主线,覆盖基础语法、核心抽象、工程边界和长期维护所需的迁移判断。
阅读起点
学习前先阅读:Java 学习路线。
全书顺序
本书按知识依赖组织。主线先建立可运行的共同模型,再进入机制、工程边界和生产约束;维护与前沿内容明确标注,不改变主线的学习顺序。
第1章|函数、模式匹配与集合
理解本章函数、模式匹配与集合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 安装 Scala 与运行第一个程序:理解安装 Scala 与运行第一个程序的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 函数与表达式:val、def 与高阶函数:理解函数与表达式:val、def 与高阶函数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 模式匹配:case 与穷尽性检查:理解模式匹配:case 与穷尽性检查的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 集合:List、Vector 与不可变性:理解集合:List、Vector 与不可变性的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 高阶函数:map、filter、fold 与组合:理解高阶函数:map、filter、fold 与组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第2章|类、样例类与特质
理解本章类、样例类与特质的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类与对象:主构造器与辅助构造器:理解类与对象:主构造器与辅助构造器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 样例类:自动生成 apply、equals 与 copy:理解样例类:自动生成 apply、equals 与 copy的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 特质:接口与混入:理解特质:接口与混入的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 伴生对象:工厂方法与单例:理解伴生对象:工厂方法与单例的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 抽象类与密封特质:继承控制:理解抽象类与密封特质:继承控制的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第3章|类型系统:泛型、型变与类型边界
理解本章类型系统:泛型、型变与类型边界的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 泛型类与方法:类型参数:理解泛型类与方法:类型参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 型变:+T、-T 与不变:理解型变:+T、-T 与不变的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型边界:上界、下界与视图界定:理解类型边界:上界、下界与视图界定的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型别名与抽象类型:理解类型别名与抽象类型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 高阶类型:类型构造器:理解高阶类型:类型构造器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第4章|隐式转换、扩展方法与上下文
理解本章隐式转换、扩展方法与上下文的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 隐式参数:自动传递上下文:理解隐式参数:自动传递上下文的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 隐式转换:自动类型适配:理解隐式转换:自动类型适配的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 扩展方法:为已有类型添加方法:理解扩展方法:为已有类型添加方法的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- given 与 using:Scala 3 上下文抽象:理解given 与 using:Scala 3 上下文抽象的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型类:ad-hoc 多态:理解类型类:ad-hoc 多态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第5章|for 推导、Option 与 Either
理解本章for 推导、Option 与 Either的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- for 推导:flatMap、map 与 filter 的语法糖:理解for 推导:flatMap、map 与 filter 的语法糖的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Option:表达可能缺失的值:理解Option:表达可能缺失的值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Either:左右两种情况:理解Either:左右两种情况的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Try:捕获异常作为值:理解Try:捕获异常作为值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第6章|Future、并发与 Await
理解本章Future、并发与 Await的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Future:异步计算与回调:理解Future:异步计算与回调的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 组合 Future:map、flatMap 与 for:理解组合 Future:map、flatMap 与 for的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Promise:手动完成 Future:理解Promise:手动完成 Future的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- ExecutionContext:线程池与调度:理解ExecutionContext:线程池与调度的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Await 与阻塞:何时等待结果:理解Await 与阻塞:何时等待结果的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第7章|Actor、消息传递与容错
理解本章Actor、消息传递与容错的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Actor 模型:消息传递与隔离:理解Actor 模型:消息传递与隔离的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Actor 生命周期:创建、停止与监督:理解Actor 生命周期:创建、停止与监督的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 消息协议:类型安全的消息:理解消息协议:类型安全的消息的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 容错与监督:重启策略:理解容错与监督:重启策略的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第8章|SBT、Akka 与生态(第1段)
理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- SBT:构建定义、依赖与多项目:理解SBT:构建定义、依赖与多项目的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Akka Streams:背压与流式处理:理解Akka Streams:背压与流式处理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Cats:函数式编程库:理解Cats:函数式编程库的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- ZIO 与 Cats Effect:纯函数式 IO:理解ZIO 与 Cats Effect:纯函数式 IO的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Scala.js 与跨平台:编译到 JavaScript:理解Scala.js 与跨平台:编译到 JavaScript的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 宏与元编程:编译期代码生成:理解宏与元编程:编译期代码生成的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第9章|SBT、Akka 与生态(第2段)
理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 函数与表达式:理解函数与表达式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 高阶函数组合:理解高阶函数组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 样例类:理解样例类的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 特质混入:理解特质混入的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 密封特质:理解密封特质的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 型变:理解型变的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第10章|SBT、Akka 与生态(第3段)
理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型边界:理解类型边界的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 高阶类型:理解高阶类型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 隐式参数:理解隐式参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 隐式转换:理解隐式转换的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- given/using:理解given/using的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型类:理解类型类的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第11章|SBT、Akka 与生态(第4段)
理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 扩展方法:理解扩展方法的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Option 组合:理解Option 组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Either 错误处理:理解Either 错误处理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Try 异常捕获:理解Try 异常捕获的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Future 组合:理解Future 组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- ExecutionContext:理解ExecutionContext的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第12章|SBT、Akka 与生态(第5段)
理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Actor 模型:理解Actor 模型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 监督策略:理解监督策略的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 容错:理解容错的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Akka Streams 背压:理解Akka Streams 背压的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- SBT 多项目:理解SBT 多项目的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Cats 类型类:理解Cats 类型类的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第13章|SBT、Akka 与生态(第6段)
理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- ZIO 与 Cats Effect:理解ZIO 与 Cats Effect的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型类实例推导:理解类型类实例推导的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 宏与元编程:理解宏与元编程的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Scala.js:理解Scala.js的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
阅读边界
本页是学习路线和专题入口,不替代专题笔记中的机制解释、可运行示例和练习。笔记尚未完成的专题会先显示为占位页;已有经验的读者可以跳到具体章节,再按前置关系回补。
路线状态
本路线的目录已完成本轮架构审查;专题笔记的内容质量和来源审查另行进行。