Skip to content

Scala ​

以Scala的真实运行模型为主线,覆盖基础语法、核心抽象、工程边界和长期维护所需的迁移判断。

阅读起点 ​

学习前先阅读:Java 学习路线。

全书顺序 ​

本书按知识依赖组织。主线先建立可运行的共同模型,再进入机制、工程边界和生产约束;维护与前沿内容明确标注,不改变主线的学习顺序。

第1章|函数、模式匹配与集合 ​

理解本章函数、模式匹配与集合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 安装 Scala 与运行第一个程序:理解安装 Scala 与运行第一个程序的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 函数与表达式:val、def 与高阶函数:理解函数与表达式:val、def 与高阶函数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 模式匹配:case 与穷尽性检查:理解模式匹配:case 与穷尽性检查的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 集合:List、Vector 与不可变性:理解集合:List、Vector 与不可变性的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 高阶函数:map、filter、fold 与组合:理解高阶函数:map、filter、fold 与组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第2章|类、样例类与特质 ​

理解本章类、样例类与特质的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 类与对象:主构造器与辅助构造器:理解类与对象:主构造器与辅助构造器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 样例类:自动生成 apply、equals 与 copy:理解样例类:自动生成 apply、equals 与 copy的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 特质:接口与混入:理解特质:接口与混入的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 伴生对象:工厂方法与单例:理解伴生对象:工厂方法与单例的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 抽象类与密封特质:继承控制:理解抽象类与密封特质:继承控制的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第3章|类型系统:泛型、型变与类型边界 ​

理解本章类型系统:泛型、型变与类型边界的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 泛型类与方法:类型参数:理解泛型类与方法:类型参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 型变:+T、-T 与不变:理解型变:+T、-T 与不变的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 类型边界:上界、下界与视图界定:理解类型边界:上界、下界与视图界定的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 类型别名与抽象类型:理解类型别名与抽象类型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 高阶类型:类型构造器:理解高阶类型:类型构造器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第4章|隐式转换、扩展方法与上下文 ​

理解本章隐式转换、扩展方法与上下文的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 隐式参数:自动传递上下文:理解隐式参数:自动传递上下文的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 隐式转换:自动类型适配:理解隐式转换:自动类型适配的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 扩展方法:为已有类型添加方法:理解扩展方法:为已有类型添加方法的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. given 与 using:Scala 3 上下文抽象:理解given 与 using:Scala 3 上下文抽象的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 类型类:ad-hoc 多态:理解类型类:ad-hoc 多态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第5章|for 推导、Option 与 Either ​

理解本章for 推导、Option 与 Either的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. for 推导:flatMap、map 与 filter 的语法糖:理解for 推导:flatMap、map 与 filter 的语法糖的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. Option:表达可能缺失的值:理解Option:表达可能缺失的值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Either:左右两种情况:理解Either:左右两种情况的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Try:捕获异常作为值:理解Try:捕获异常作为值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第6章|Future、并发与 Await ​

理解本章Future、并发与 Await的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. Future:异步计算与回调:理解Future:异步计算与回调的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 组合 Future:map、flatMap 与 for:理解组合 Future:map、flatMap 与 for的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Promise:手动完成 Future:理解Promise:手动完成 Future的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. ExecutionContext:线程池与调度:理解ExecutionContext:线程池与调度的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. Await 与阻塞:何时等待结果:理解Await 与阻塞:何时等待结果的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第7章|Actor、消息传递与容错 ​

理解本章Actor、消息传递与容错的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. Actor 模型:消息传递与隔离:理解Actor 模型:消息传递与隔离的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. Actor 生命周期:创建、停止与监督:理解Actor 生命周期:创建、停止与监督的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 消息协议:类型安全的消息:理解消息协议:类型安全的消息的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 容错与监督:重启策略:理解容错与监督:重启策略的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第8章|SBT、Akka 与生态(第1段) ​

理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. SBT:构建定义、依赖与多项目:理解SBT:构建定义、依赖与多项目的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. Akka Streams:背压与流式处理:理解Akka Streams:背压与流式处理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Cats:函数式编程库:理解Cats:函数式编程库的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. ZIO 与 Cats Effect:纯函数式 IO:理解ZIO 与 Cats Effect:纯函数式 IO的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. Scala.js 与跨平台:编译到 JavaScript:理解Scala.js 与跨平台:编译到 JavaScript的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 宏与元编程:编译期代码生成:理解宏与元编程:编译期代码生成的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第9章|SBT、Akka 与生态(第2段) ​

理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 函数与表达式:理解函数与表达式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 高阶函数组合:理解高阶函数组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 样例类:理解样例类的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 特质混入:理解特质混入的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 密封特质:理解密封特质的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 型变:理解型变的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第10章|SBT、Akka 与生态(第3段) ​

理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 类型边界:理解类型边界的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 高阶类型:理解高阶类型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 隐式参数:理解隐式参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 隐式转换:理解隐式转换的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. given/using:理解given/using的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 类型类:理解类型类的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第11章|SBT、Akka 与生态(第4段) ​

理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 扩展方法:理解扩展方法的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. Option 组合:理解Option 组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Either 错误处理:理解Either 错误处理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Try 异常捕获:理解Try 异常捕获的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. Future 组合:理解Future 组合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. ExecutionContext:理解ExecutionContext的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第12章|SBT、Akka 与生态(第5段) ​

理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. Actor 模型:理解Actor 模型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 监督策略:理解监督策略的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 容错:理解容错的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Akka Streams 背压:理解Akka Streams 背压的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. SBT 多项目:理解SBT 多项目的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. Cats 类型类:理解Cats 类型类的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第13章|SBT、Akka 与生态(第6段) ​

理解本章SBT、Akka 与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. ZIO 与 Cats Effect:理解ZIO 与 Cats Effect的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 类型类实例推导:理解类型类实例推导的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 宏与元编程:理解宏与元编程的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Scala.js:理解Scala.js的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

阅读边界 ​

本页是学习路线和专题入口,不替代专题笔记中的机制解释、可运行示例和练习。笔记尚未完成的专题会先显示为占位页;已有经验的读者可以跳到具体章节,再按前置关系回补。

路线状态 ​

本路线的目录已完成本轮架构审查;专题笔记的内容质量和来源审查另行进行。

用心记录每一步成长