paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Structural versus pipeline composition of higher-order functions (experience report)

高阶函数的结构化组合与管道组合(经验报告)
ICFP 6(ICFP)2022匹配度 1/10 · 该论文是函数式编程教学中高阶函数组合方式的经验报告,关注教学法与学生理解难度,与用户画像中的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等核心方向均无直接关联。引用 3 inbox
Elijah Rivera, Shriram Krishnamurthi
crossref: 2026-09-10

AI 速览

一句话:经验报告揭示学生组合高阶函数时,结构化组合与管道组合的难度差异,并讨论函数式编程教学启示。

本文关注函数式编程教学中一个突出问题:当学生使用高阶函数进行组合编程时,不同组合形式带来的难度感知存在鲜明差异。随着越来越多程序员为数据处理而学习函数式编程,这一差异尤为重要。作者指出,结构化组合与管道组合之间似乎存在某种反直觉的难度区别。作为经验报告,文章描述了该现象,提供了初步证据表明两种组合方式在难度上确有不同,并据此提出对函数式编程教学法的若干后果与建议。该工作并非提出新语言机制或形式化方法,而是从教学实践与学习者体验出发,识别高阶函数组合教学中的一个关键区分,为后续实证研究与课程设计提供方向。

问题
在教学生用高阶函数组合编程时,学生感知到不同组合形式的题目难度差异很大,尤其影响以数据处理为目标的函数式编程学习。
方法
这是一篇经验报告,作者描述结构化组合与管道组合的现象,并给出初步证据来识别二者在感知难度上的区别。
评估
评估基于教学观察和初步证据,分析学生对两种高阶函数组合方式的难度感知,并据此提出函数式编程教学建议。
原文摘要(Abstract)

In teaching students to program with compositions of higher-order functions, we have encountered a sharp distinction in the difficulty of problems as perceived by students. This distinction especially matters as growing numbers of programmers learn about functional programming for data processing. We have made initial progress on identifying this distinction, which appears counter-intuitive to some. We describe the phenomenon, provide some preliminary evidence of the difference in difficulty, and suggest consequences for functional programming pedagogy.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot1494,
  title = {Structural versus pipeline composition of higher-order functions (experience report)},
  author = {Elijah Rivera and Shriram Krishnamurthi},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {ICFP},
  year = {2022},
  doi = {10.1145/3547633}
}