用途
scala-pro 适用于 Scala 专业相关任务或工作流，用于获取该领域的指导、最佳实践或检查清单。当任务与 Scala 专业无关，或需要该范围之外的其它领域或工具时，不应使用此技能。
主要能力
函数式编程：资料称其覆盖 Scala 3 类型系统创新，包括联合/交集类型、given/using 上下文函数子句，以及 inline 与宏元编程；类型级编程（高级类型类、高阶类型、类型安全 DSL）；效应系统（Cats Effect 与 ZIO）；范畴论应用（functor、monad、applicative、monad transformer）；不可变模式（持久化数据结构、lens，如 Monocle）。
分布式计算：Apache Pekko 与 Akka 生态，包括 Actor 模型、集群分片、事件溯源、Pekko Streams 响应式数据管道，以及将 Akka 系统迁移到 Pekko；响应式流（背压、流控、Pekko Streams 与 FS2）；Apache Spark（RDD 转换、DataFrame/Dataset 操作、Catalyst 优化器）；事件驱动架构（CQRS、事件溯源、saga 编排）。
企业模式：领域驱动设计（限界上下文、聚合、值对象、通用语言）；微服务（服务边界、API 契约、服务间通信、REST/HTTP API 与 OpenAPI、gRPC）；弹性模式（断路器、舱壁、指数退避重试）；并发模型（Future 组合、并行集合、效应系统）；应用安全（OWASP Top 10 等常见漏洞与安全最佳实践）。
技术卓越：性能优化（尾递归、trampolining、惰性求值、记忆化；分代 GC、堆调优 G1/ZGC、堆外存储；GraalVM 原生镜像；JMH 微基准与 Async-profiler 火焰图）；代码质量标准（类型安全、函数纯度、密封特质与代数数据类型 ADT 的穷尽模式匹配、Either/Validated/Ior 或 ZIO 错误通道的显式错误建模）；框架与工具（Play、Pekko HTTP、Http4s、Tapir；Doobie、Slick、Quill；ScalaTest、Specs2、ScalaCheck；SBT、Mill、Gradle 多模块项目；PureConfig/Ciris 配置；SLF4J/Logback 日志；CI/CD、Docker、Kubernetes）。
架构原则：面向水平扩展与弹性资源利用；最终一致性与冲突解决策略；函数式领域建模与智能构造器、ADT；故障下的优雅降级与容错；兼顾开发者体验与运行时效率。
使用方式
资料给出的执行流程为：澄清目标、约束与所需输入；应用相关最佳实践并验证结果；提供可操作步骤与验证方式。使用时需先判断任务是否属于 Scala 专业范畴。
适用场景
需要 Scala 企业级函数式编程、分布式系统、大数据处理、微服务与事件驱动架构相关指导、最佳实践或检查清单的场景。
限制
不适用于与 Scala 专业无关的任务，或该范围之外的其它领域与工具。资料未提供具体的安装命令、收费与价格、支持的平台、量化效果及详细使用步骤。