标签：Scala 3

2026-09-12andy阅读(76)

Scala 3 对 Scala 2 最饱受争议的特性——隐式（implicit）——进行了全面重构，统称为「上下文抽象」（Contextual Abstractions）。这不仅仅是语法糖层面的改进，而是对类型类派生、编译期依赖注入、上下文...

2026-07-22andy阅读(171)

前言：为什么需要元编程？ 在软件开发中，我们经常遇到这样的场景：需要编写大量重复的样板代码来实现序列化、类型转换、依赖注入等功能。传统做法是使用代码生成器或运行时反射，但前者需要额外的构建步骤，后者则牺牲了类型安全和性能。Scala 的元编...

2026-07-06andy阅读(246)

引言：为什么类型系统是 Scala 的核心竞争力 在 JVM 生态的语言中，Scala 的类型系统可以说是独树一帜的。它融合了函数式编程的类型理论和面向对象的类型层次，形成了一套极其强大的静态类型系统。对于许多从 Java 转 Scala ...