主机名：page-component-848d4c4894-xm8r8总加载时间：0渲染日期：2024-06-21T18:29:06.208Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

具有认知有效工作示例格式的教学类型

剑桥大学出版社在线出版：2015年12月17日

VILLE TIRRONEN公司 和
VILLE ISOMØTTÕNEN公司
VILLE TIRRONEN公司
附属：
Jyväskylä大学数学信息技术系（电子邮件：ville.e.t.tirronen@jyu.fi; ville.isottonen@jyu.fi)
VILLE ISOMØTTÕNEN公司
附属：
Jyväskylä大学数学信息技术系（电子邮件：ville.e.t.tirronen@jyu.fi; ville.isottonen@jyu.fi)
权限和权限 [在新窗口中打开]

摘要

核心共享和HTML视图不适用于此内容。但是，由于您有权访问此内容，可以通过“保存PDF”操作按钮获得完整的PDF。

将函数式编程作为第二种编程范式进行教学通常很困难，因为学生可能对编程有很强的先入之见。当这些先入为主的想法大多未能得到证实时，函数式编程可能会被视为一个不必要的难题。造成这种困难的一个典型主题是许多现代函数式语言所使用的类型语言。在本文中，我们将通过使用类型表达式的逐步计算来解决这一困难。这项研究的结果是详细阐述了一个工作示例格式和一种向初学者教授函数式程序员类型的方法。

类型
教育明珠
问询处
函数编程杂志 ,第25卷 , 2015 ，第23页
版权
版权所有©剑桥大学出版社2015

工具书类

布伊扬,美国。,格里尔,J·E。&麦克卡拉,G.I.公司。(1994)支持递归问题解决的学习.互动。学习。环境。 4 (2),115–139.交叉参考谷歌学者
鸟,R。(1998)使用Haskell的函数编程简介,第2版。新泽西州上鞍河:普伦蒂斯·霍尔.谷歌学者
布兰科,J。,洛萨诺,L。,阿吉雷,N。,诺瓦拉,M.M.先生。,帕米吉亚尼语,美国。&锡林戈,G.公司。(2009)基于形式规范和程序计算的程序设计入门课程.ACM SIGCSE公牛。 41 (2),31–37.交叉参考谷歌学者
布罗道,英国。,科什内维桑,H。&艾森巴赫,美国。(1994)理性编程.新泽西州上鞍河:普伦蒂斯·霍尔.谷歌学者
查克拉瓦蒂,麻省理工学院。&凯勒,G.公司。(2004)第一年教授纯函数编程的风险和好处.J.功能。程序。 14 (1),113–123.交叉参考谷歌学者
奇蒂尔,O。(2001)类型的合成解释和类型错误的算法调试。 ACM Sigplan非。 36 (10),193–204（ACM）。交叉参考谷歌学者
克拉克,C、。&迈尔斯,C、。(1995)机能失调的学生.英寸教育中的函数编程语言,哈特尔,第页。&普拉斯梅耶,R。（编辑），《计算机科学讲义》，第1022卷。德国柏林:施普林格，第页。289–309.交叉参考谷歌学者
迪杰斯特拉,东-西。(2000，7月）我采用的符号惯例及其原因。网址：http://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1300.PDF。2013年12月8日访问谷歌学者
冯,第页。,奥谢,T。,戈尔德松,D。,里夫斯,美国。&博尔纳,R。(1996)教授形式推理的计算机工具.计算。教育。 27 (1),59–69.交叉参考谷歌学者
哈里森,西。(2000)N=1，软件工程研究的替代方案？在乞讨、借用或窃取：在经验软件工程研究中使用多学科方法，研讨会报告《利默里克，爱尔兰》，第5卷。Citeser，第39-44页。谷歌学者
黑伦,B。(2005)顶级质量类型错误消息荷兰乌得勒支大学博士论文；IPA论文系列。谷歌学者
Isomöttönen公司,五、。&蒂罗宁,五、。(2013)通过强调自我引导来教授编程：学生对要求他们扮演的积极角色有何反应？ ACM事务处理。计算。教育。雷斯 13 (2)，第6条。谷歌学者
耶尔斯马,O。&范梅里恩博尔,J·J·G。(1990)适应设计模式：面向教学控制的迁移.仪器科学。 19 (2),89–120.交叉参考谷歌学者
尤斯登,美国。,伯格,英国。&Hoeven公司,G.V.D.公司。(1993)教授一年级学生函数编程.J.功能。程序。 三 (1),49–65.交叉参考谷歌学者
科拉夫努,E.公司。(1995)通过函数语言向计算机科学本科生介绍程序设计原理教育中的函数式编程语言。LNCS，第1022卷。德国柏林:施普林格; 第页。15–34。请参见http://www.springer.com/computer/swe/book/978-3-540-60675-8谷歌学者
勒纳,学士学位。,花,M。,格罗斯曼,D。&钱伯斯,C、。(2007)搜索类型错误消息.ACM SIGPLAN非。,42,425–434（ACM）。交叉参考谷歌学者
利波瓦卡,M。(2012)好好学你一个哈斯克尔！：初学者指南.加利福尼亚州旧金山:无淀粉压机.谷歌学者
诺克,M。,米歇尔,B。&照片,五、。(2007)单案例研究设计.英寸异常与临床心理学研究方法手册,麦凯,D。（编辑）。加利福尼亚州千橡树:圣人，第页。337–350.谷歌学者
吕尔,F。(2008)关于教学类型和功能的提示.英寸2008年教育中功能性和声明性编程国际研讨会会议记录.纽约州纽约市:ACM公司，第页。79–90.交叉参考谷歌学者
斯克里文,M。(1967)评价方法.英寸课程评估视角，Aera课程评估专题丛书,泰勒,R。,加涅,R。&Scriven公司,M。（编辑），第1卷。伊利诺伊州芝加哥:兰德麦克纳利，第页。39–83.谷歌学者
西格尔,J。(1994)函数编程学习者评价递归函数的实证研究.仪器科学。 22 (5),385–411.交叉参考谷歌学者
齐格弗里德,风险管理。,格雷科,D。,米切利,N。&齐格弗里德,J。(2012)理查德·里德列出的第一批编程语言到底发生了什么？ 信息系统。教育。J。 10 (4),24.谷歌学者
索尔瓦,J。(2012)程序设计入门教育中的可视化程序模拟.芬兰埃斯波:阿尔托大学.谷歌学者
膨胀管,J。,范·梅里恩博尔,J·J·G。&帕斯,F.G.W.C.公司。(1998)认知架构与教学设计.教育。精神病。版次。 10 (3),251–296.交叉参考谷歌学者
汤普森,美国。&希尔,美国。(1995)通过课程实现函数式编程教育中的函数式编程语言。LNCS，第1022卷。柏林，pp。85–102.德国:施普林格; 看见http://www.springer.com/computer/swe/book/978-3-540-60675-8谷歌学者
蒂罗宁,五、。&Isomöttönen公司,五、。(2012)设计有效的学习材料支持程序设计的自主学习.英寸第十二届科利国际计算机教育研究会议记录（科利呼叫'12）。纽约州纽约市:ACM公司，第页。74–82.交叉参考谷歌学者
范梅里恩博尔,J·J·G。(1990a）高中程序设计教学策略：程序完成与程序生成.J.教育。计算。物件。 6 (3),265–285.交叉参考谷歌学者
范梅里恩博尔,J·J·G。, &帕斯,F.总重量C。(1990b）初级计算机编程学习中的自动化和模式获取：对实践设计的启示.计算。嗯。行为。 6 (3),273–289.交叉参考谷歌学者
沃林福德,E.公司。(2002)函数式编程模式及其在教学中的作用.英寸函数编程国际会议记录,宾夕法尼亚州匹兹堡，纽约州纽约市:ACM公司,151–160.谷歌学者
朱,十、。&西蒙,H.A.公司。(1987)通过实例和实践学习数学.认知。仪器。 4 (3),137–166.交叉参考谷歌学者
提交响应

讨论

尚未发布此文章的讨论。