第一届函数式编程教育趋势国际研讨会论文集
编程语言
2013-01-22 v1 计算机与社会
摘要
第一届函数式编程教育趋势国际研讨会（TFPIE 2012）于2012年6月11日在苏格兰圣安德鲁斯大学举行。TFPIE 旨在汇聚所有在教育中使用函数式编程或对此感兴趣的研究人员、教授、教师及专业人士。投稿由 TFPIE 2012 程序委员会依据通行的学术标准进行评审。本卷收录的4篇文章即经此过程遴选出版。这些文章涵盖了利用函数式编程进行教育的多种新颖方法。Page 和 Gamboa 描述了如何引导学生通过基于逻辑和方程的推理来接触计算思维与问题求解。O'Donnell 阐述了通过仿真和一种函数式硬件描述语言使计算机系统课程变得生动的努力。Radge 描述了一种利用数学抽象中的不精确性与编程所需的精确性之间相互作用的新型 CS1 教学方法。Stutterheim、Swierstra 和 Swierstra 描述了一种利用基于网络的解释器和定理证明器向高中生介绍编程及计算机科学重要思想的新方法。
引用
@article{arxiv.1301.4650,
title = {Proceedings First International Workshop on Trends in Functional Programming in Education},
author = {Marco T. Morazán and Peter Achten},
journal= {arXiv preprint arXiv:1301.4650},
year = {2013}
}