COMP3141

软件系统设计与实现

课程定位 COMP3141 是 UNSW 计算机专业最具‘极客灵魂’的高阶设计课。如果说 COMP2511 是教你如何用面向对象（OOP）做设计，这门课则是教你如何利用‘函数式编程 (Functional Programming)’与‘强类型系统’构建无 Bug、可证明的系统。它解决了大规模软件开发中最根本的痛点：如何通过类型设计而非冗余测试来消灭错误。它是通往高级编译器开发、分布式架构及顶级科技公司（如 Jane Street, Google）研发岗位的必经之路。 技术栈与学习内容 课程以 Haskell 为核心载体，深度攻克：代数数据类型 (Algebraic Data Types)、高阶函数、Monads（这是全课最难也最核心的概念）、基于类型的属性测试 (Property-based Testing with QuickCheck)、类型级编程、以及软件正确性的形式化证明基础。此外，课程强调‘声明式设计’，要求学生利用函数式思维重构传统的命令式算法。学生将学习如何利用范畴论（Category Theory）的直觉来设计极其稳健的软件接口。 课程结构 10 周极致脑力训练。前期扫盲 Haskell 语法与递归思维，中期全面攻克 Monads 与副作用管理（这是分水岭），后期转向大规模系统的属性驱动开发。评估体系极其硬核：包含每周的‘智力竞赛’级别 Lab、一个要求极高抽象能力的个人/小组项目（Assignment，通常涉及编写一个领域特定语言 DSL 或复杂的编译器后端）、以及一场极其考验逻辑推演能力的期末笔试。该课极其看重‘代码的简洁度与数学美感’。 适合人群 计算机专业大三学生、数学爱好者。如果你觉得主流语言太笨重、渴望探索计算的数学本质，这门课会彻底重塑你的编程观。建议每周投入 20 小时以上，做好‘换脑’的心理准备。