欢迎学习编程语言的理论(和实践)！

您已经到达芝加哥洛约拉大学计算机科学系的编程语言课程(COMP 371/471)之家。

警告

这些笔记仍在撰写中，因此预计会有一些粗略的边缘。但我们越来越近了！

生成状态

本书是使用Python Sphinx文档工具编写的。它使用GitHub Actions(一个持续集成系统)自动构建和部署。所有提交都会触发图书的重建，如果成功，还会部署到GitHub页面。

预订网站

lucproglangcourse.github.io

图书PDF(最新版本)

github.com/lucproglangcourse/lucproglangcourse.github.io/releases/latest/download/proglang.pdf

图书源码

github.com/lucproglangcourse/lucproglangcourse.github.io

如何做出贡献

你的贡献是 highly welcome! 请提交 issues 和 pull requests 。

目录

• 1. 概述
  • 1.1. 课程信息
  • 1.2. 动机
  • 1.3. 主要学习成果
  • 1.4. 函数式编程的几个起点
  • 1.5. 课程大纲
  • 1.6. 布鲁姆分类学
• 2. 上下文和背景
  • 2.1. 轻量级开发过程概述
  • 2.2. 软件要求
  • 2.3. 软件设计原则和模式
  • 2.4. 编程语言的历史和范例
  • 2.5. 人气指数与业绩比较
• 3. Scala中的命令式和面向对象范例
  • 3.1. 运行Scala代码的选项
  • 3.2. 控制台应用程序的角色
  • 3.3. 测试Scala代码的选择
  • 3.4. 日志记录的作用
  • 3.5. 用命令式和面向对象语言定义域模型
  • 3.6. 模块化和依赖注入
• 4. 函数式编程范式
  • 4.1. 使用内置类型和行为解决问题
  • 4.2. 定义代数数据类型
  • 4.3. 代数数据类型的行为
  • 4.4. 仔细查看列表上的预定义行为
  • 4.5. 类型级别的关注点分离
  • 4.6. 其他有用的抽象
  • 4.7. 参考文献
• 5. 程序表示和解释
  • 5.1. 编程语言工具链
  • 5.2. 编译器前端概念和技术
  • 5.3. 编程语言语义学
  • 5.4. 案例研究：一种简单的命令式语言
  • 5.5. 案例研究：带有记录的简单命令式语言
  • 5.6. 类型系统
  • 5.7. 特定于领域的语言
• 6. 并发编程范式
  • 6.1. 概述
  • 6.2. 活动术语和关注事项
  • 6.3. 线程安全
  • 6.4. 处理共享状态
  • 6.5. (相互冲突的)设计力
  • 6.6. 特定的并发机制
  • 6.7. 参考：并发和异步计算
• 7. 摘要
• 8. 附录：编程语言设计原则
• 9. 附录：资源
  • 9.1. 关键资源
  • 9.2. 代码示例
  • 9.3. 建议/补充文本
  • 9.4. 关于Scala的其他文本
  • 9.5. 在线Scala资源
  • 9.6. 有关节目表示和解释的资源
  • 9.7. 其他资源
• 10. 附录：课程软件
  • 10.1. 基于云的开发环境
  • 10.2. 本地安装的开发环境
  • 10.3. SBT可选插件
  • 10.4. GitHub
  • 10.5. 远程参与
• 11. 附录：课程教学大纲
  • 11.1. 课程：COMP 371/471编程语言
  • 11.2. 章节：2023年秋季001
  • 11.3. 章节：001 Fall 2022
  • 11.4. 章节：001 Fall 2021
  • 11.5. 栏目：001/002 2020年秋季
  • 11.6. 部分：2019年秋季001
  • 11.7. 章节：2018年秋季001
  • 11.8. 章节：001 2018年春季
  • 11.9. 章节：001 2017年春季
  • 11.10. 详细的课程大纲
  • 11.11. 关键资源
• 12. 附录：待办事项

索引和表格

• 索引

• 搜索页面

待处理

添加演示文稿的示例项目、活动、测试和(分层的)主列表

待处理

从https://trello.com/c/kAMGZ4uf/28-add-in-next-iteration添加内容