Functional Python Programming in Introductory Computer Science Courses

函数式编程范式历史悠久，起源于λ演算。近几十年来，像Haskell这样的纯函数式语言因其不可变的数据结构等诸多函数式特性，被证明在开发健壮软件方面极为有效。使用不可变数据结构的优势同样可以在Python等非函数式语言中实现。多年来，许多非函数式语言也引入了不可变数据结构以及推导式和lambda表达式，使得以纯粹的函数式风格进行编程成为可能。本文提出了一种在编程入门课程中的“最佳实践”方法：要求学生在Python的一个纯函数式子集中学习并完成编程作业。通过这种方式，学生能够掌握函数式编程的核心概念，例如数据不可变性、无副作用的纯函数以及无状态编程。我们定义了Python的一个函数式子集，并通过若干小型示例来说明这一最佳实践的具体应用。我们坚信，计算机相关专业的学生有必要熟悉纯函数式编程，并主张这种理念完全可以在以Python为教学语言的编程入门课程中加以传授。

论文试图解决在非功能性编程语言（如Python）的入门课程中，学生难以接触和掌握纯函数式编程思想的问题。虽然函数式编程在构建健壮软件方面具有优势，但在大多数计算机教育体系中，尤其是以Python为教学语言的初级课程中，函数式编程往往被忽视。这并非一个全新问题，但如何在主流非函数式语言环境中有效引入函数式思维仍缺乏系统实践方案。

提出一种‘最佳实践’教学方法：在Python入门课程中强制学生使用一个定义好的纯函数式子集进行编程训练。该子集强调不可变数据结构、无副作用的纯函数和无状态编程，使学生即使在非函数式语言中也能深入理解函数式核心概念。其新意在于将通常用于高级或专门课程的函数式理念下沉至初学者阶段，并利用Python已有的函数式特性（如lambda、comprehensions、tuple/frozenset等）实现教学目标。

论文通过小型示例清晰地展示了该函数式子集的语法与用法；教学实验设计聚焦于编程范式的学习而非性能比较，适合教育场景；虽未提及具体数据集或开源代码，但所提方法易于在现有教学平台实施；值得进一步研究的方向包括长期学习效果评估、与其他编程范式（如面向对象）的教学对比，以及自动化工具支持（如静态检查是否违反函数式约束）。

1. Teaching Functional Programming in Python-Based Introductory Courses: A Case Study 2. Using Immutable Data Structures to Teach Program Reasoning 3. From Imperative to Functional: Integrating Paradigms in CS1 4. Functional Thinking in First-Year Programming Education 5. Design Patterns for Purely Functional Programming in Multi-Paradigm Languages