函数式编程在工业领域日益普及。Scala 作为许多应用程序的主要编程语言，推动了这一趋势的发展。Scala 将函数式编程和面向对象编程融合在一个实用的软件包中。它可以与 Java 和 Javascript 无缝互操作。Scala 是许多重要框架的实现语言，包括 Apache Spark、Kafka 和 Akka。在本课程中，您将发现函数式编程风格的元素，并学习如何在日常编程任务中有效地应用这些元素，例如为业务域建模或实现业务逻辑。此外，您还将学习不变式证明和执行符号跟踪，从而为函数式程序的推理打下坚实基础。 本课程采用实践教学法；大多数单元都会引入简短的程序，作为重要概念的示例，并邀请您对这些程序进行操作、修改和改进。课程还辅以一系列编程项目作为家庭作业。 推荐背景：您应该至少有一年的编程经验。熟练掌握 Java 或 C# 是理想的选择，但掌握其他语言（如 C/C++、Python、Javascript 或 Ruby）也足够了。您应该熟悉使用命令行。