我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：报告以 System Fω 作为编程语言来教授高级类型化函数式编程课程的经验。

本文是一篇经验报告，介绍作者围绕 System Fω 开设高级类型化函数式编程课程的教学实践。与通常仅将 System Fω 作为类型论对象不同，课程把它直接当作一种编程语言来使用，让学习者在实际编程中接触高阶类型、多态与类型算子等概念。作者报告了课程的组织方式、教学经验以及由此形成的对高级类型化函数式编程教学的认识。摘要未给出具体的评估数据或量化结果，其贡献主要在于分享一种以 System Fω 为编程语言核心的教学路径。

问题

如何教授高级类型化函数式编程，使学生深入理解 System Fω 及其类型系统？

方法

将 System Fω 作为编程语言来组织课程，并报告课程设计与教学经验。

评估

经验报告，基于实际教学实践总结；摘要未提供量化评估或对照实验结果。

链接与引用

DOI 原文 · PDF（开放获取） ·

@article{paperbot611,
  title = {Lambda: the ultimate sublanguage (experience report)},
  author = {Jeremy Yallop and Leo White},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {ICFP},
  year = {2019},
  doi = {10.1145/3342713}
}