论高校计算机专业开展函数式程序语言教学的必要性 余珊珊;易法令;苏锦钿; 1:广东药学院医药信息工程学院 2:华南理工大学计算机科学与工程学院 摘要(Abstract):
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。
关键词(KeyWords): 函数式程序语言;;命令式程序语言;;Haskell;;Lambda演算
Abstract:
Keywords:
基金项目(Foundation): 广东省科技计划项目(2011B010200043);;国家自然科学基金资助项目(61103038)
作者(Author): 余珊珊;易法令;苏锦钿;
Email:
参考文献(References): [1]张迎周.函数编程技术在计算机数学教学中的应用探讨[J].教育与教学研究,2011,25(9):76-78,82.[2]张迎周,张卫丰.Haskell:一种现代纯函数式语言[J].南京邮电大学学报:自然科学版,2007,27(4):13-18,23.[3]苏锦钿,余珊珊.程序语言中的共归纳数据类型及其应用[J].计算机科学,2011,38(11):114-118.[4]余珊珊,李师贤,苏锦钿.一种带参数的Hylomorphisms及其计算律[J].计算机研究与发展,2012,50(3):502-618.[5]苏锦钿,余珊珊.共归纳数据类型上的共递归操作及其计算定律[J].华南理工大学学报:自然科学版,2011,38(10):90-95.[6]庞建民,赵荣彩,王怀民.Haskell语言的高阶特性及其应用[J].计算机科学,2005,32(6):167-168.[7]庞建民,赵荣彩,王倩.Haskell语言的惰性计算特征及其应用[J].计算机工程与应用,2006,10(1):97-99.[8]苏锦钿,余珊珊.广义共迭代及其计算律[J].华南理工大学学报:自然科学版,2012,40(9):62-68.[9]Wadler P.Monads for Functional Programming[C].Advanced Functional Programming.Berlin:Springer,1995:24-52.[10]袁华强,孙永强.基于Monad的纯函数式语言通道系统设计[J].计算机科学,2004,31(3):167-169.
摘要:
扩展功能
本文信息
PDF全文请访问中国知网下载(134K)
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
论高校计算机专业开展函数式程序语言教学的必要性
清华大学 辅仁网/2017-07-08
相关话题/语言 计算 计算机 华南理工大学 数学
计算机教学中加强计算思维能力培养的思考与探索
计算机教学中加强计算思维能力培养的思考与探索 沈海澜;陈志刚; 1:中南大学信息科学与工程学院 2:中南大学软件学院 摘要(Abstract): 针对计算思维能力培养,分析计算思维抽象特性处理、宏观思维培养、知识储备以及培养空间等问题。结合在教学中的体会,探讨分层的 ...清华大学论文文献 清华大学 辅仁网 2017-07-08以“项目+竞赛”模式引领计算机专业创新实践能力培养
以“项目+竞赛”模式引领计算机专业创新实践能力培养 郑明辉;胡涛;周慧华; 1:湖北民族学院信息工程学院 摘要(Abstract): 针对地方普通高校计算机科学与技术专业人才培训现状和就业市场对于本专业的人才需要,探讨在现有教学模式下,如何通过学科竞赛和产学研结合 ...清华大学论文文献 清华大学 辅仁网 2017-07-08C语言程序设计阶段式分层实验教学研究
C语言程序设计阶段式分层实验教学研究 卢瑾;张健;陈晋音; 1:浙江工业大学信息学院 摘要(Abstract): 针对传统C语言程序设计实验教学过程中知识理解与综合运用脱节的问题,根据学生认知过程的阶段性和实验难易的层次性,提出一种阶段式分层实验教学方案,介绍该方 ...清华大学论文文献 清华大学 辅仁网 2017-07-08民族高校计算机基础课程教学研究
民族高校计算机基础课程教学研究 王铁君;杨朝继; 1:西北民族大学数学与计算机科学学院 2:西北民族大学教务处 摘要(Abstract): 分析总结现阶段民族高校计算机基础课程教学中所面临的问题和存在的挑战,探讨民族高校计算机基础课程的课程定位、教学模式、教学内容、 ...清华大学论文文献 清华大学 辅仁网 2017-07-08具有逻辑流的计算机论文摘要写法及分析
具有逻辑流的计算机论文摘要写法及分析 张居晓; 1:南京特殊教育职业技术学院文理学院 摘要(Abstract): 针对目前国内存在的许多论文在编辑看完中文或者英文摘要后直接被退稿的现象,提出以逻辑流为纽带构建研究过程与论文结构之间的关系,按照逻辑流编写摘要并结合计 ...清华大学论文文献 清华大学 辅仁网 2017-07-08虚拟实验系统在计算机组成原理实验教学改革中的应用
虚拟实验系统在计算机组成原理实验教学改革中的应用 肖娟;张雯雰;王嵩;于芳; 1:湘南学院计算机科学系 摘要(Abstract): 虚拟实验系统在实验教学过程中的应用是实验教学改革的重要部分。文章分析计算机组成原理实验教学改革形势,介绍湘南学院计算机科学系计算机组 ...清华大学论文文献 清华大学 辅仁网 2017-07-08计算机组成原理课程的立体化教学研究
计算机组成原理课程的立体化教学研究 张汛涞;刘淼;陈彩云; 1:广州大学计算机科学与教育软件学院 摘要(Abstract): 通过阐述计算机组成原理课程立体化教学思路,较好地解决该课程内容多、更新快、实践难、手段单一等问题,其中包括组织大教材实现教材立体化、开展分 ...清华大学论文文献 清华大学 辅仁网 2017-07-08面向计算机专业课程的移动微学习系统研究
面向计算机专业课程的移动微学习系统研究 乔静;屈志强; 1:济宁医学院信息工程学院 摘要(Abstract): 针对移动微学习在计算机专业教学中开展不理想的实际情况,分析移动学习和微学习的特点和优点,阐述限制移动微学习广泛应用的原因;针对计算机专业课程的特点,设计 ...清华大学论文文献 清华大学 辅仁网 2017-07-08高师院校离散数学考试新模式
高师院校离散数学考试新模式 季丹丹;谢威;王岚; 1:牡丹江师范学院理学院 摘要(Abstract): 针对高等师范院校离散数学课程教学内容与考试内容脱节的问题,分析离散数学课程考试内容与考试方式的现状,提出按章考试方式,强调将实验类题目作为考试内容,指出新的考试 ...清华大学论文文献 清华大学 辅仁网 2017-07-08MOOC时代下的计算机实验教学探讨
MOOC时代下的计算机实验教学探讨 李山山;陈永强;刘敬晗;全成斌; 1:清华大学计算机科学与技术系 摘要(Abstract): 计算机实验教学是计算机教学的重要组成部分,有着自身的特点,大规模开放在线课程(MOOC)的出现对计算机实验教学提出新挑战。文章探讨在这 ...清华大学论文文献 清华大学 辅仁网 2017-07-08