paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Segments: An alternative rainfall problem

Segments:降雨问题的一个替代方案
JFP vol.312021匹配度 1/10 · 该论文研究函数式编程中的解题策略与教学问题,属于编程教育/函数式编程范畴,与用户关注的静态分析、LLM/Agent 结合、浮点程序分析、贝叶斯程序分析等核心方向没有直接关联。引用 2 inbox
PETER ACHTEN
crossref: 2026-09-10

AI 速览

一句话:提出 Segments 问题作为研究函数式程序员解题策略的替代性挑战,并归纳出七种高层解法策略。

Elliot Soloway 的 Rainfall 问题是研究程序员解题策略的经典题目,Kathi Fisler 曾从函数式程序员视角研究该题,发现五种高层解法策略,其中三种占主导并覆盖 80% 以上的解答。本文提出 Segments 问题作为替代性挑战,用于考察函数式程序员的解题能力。作者分析了学生解答、其高层解法策略以及相应的原型解法,结果表明 Segments 问题能引出七种不同的高层解法策略,并可进一步细分为 17 个子类。该问题特别适合考察涉及列表处理与高阶函数的解题能力。

问题
Rainfall 问题虽被广泛用于研究程序员解题策略,但可能无法充分揭示函数式程序员在列表处理与高阶函数方面的解题技能,需要一个新的替代性挑战。
方法
作者设计 Segments 问题并收集学生解答,对解答进行策略层面的分析,归纳高层解法策略与子类,并给出对应的原型解法。
评估
通过分析学生解答,识别出七种高层解法策略及其 17 个子类,并与 Rainfall 问题的已有研究结果进行对比,说明 Segments 问题更适合考察列表处理与高阶函数相关的解题能力。
原文摘要(Abstract)

Abstract Elliot Soloway’s Rainfall problem is a well-known and well-studied problem to investigate the problem-solving strategies of programmers. Kathi Fisler investigated this programming challenge from the point of view of functional programmers. She showed that this particular challenge gives rise to five different high-level solution strategies, of which three are predominant and cover over 80% of all chosen solutions. In this study, we put forward the Segments problem as an alternative challenge to investigate the problem-solving skills of functional programmers. Analysis of the student solutions, their high-level solution strategies, and corresponding archetype solutions shows that the Segments problem gives rise to seven different high-level solution strategies that can be further divided into 17 subclasses. The Segments problem is particularly suited to investigate problem-solving skills that involve list processing and higher-order functions.

链接与引用

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

BibTeX
@article{paperbot1240,
  title = {Segments: An alternative rainfall problem},
  author = {PETER ACHTEN},
  journal = {Journal of Functional Programming},
  volume = {31},
  year = {2021},
  doi = {10.1017/s0956796821000216}
}