函数式语言介绍课程详细信息

课程号 04834130 学分 2
英文名称 Introduction to Functional Programming
先修课程 Basic programming knowledge.
中文简介 本课程介绍了函数式编程,课程内容主要包括:
1.values, types and functions
2.compound data types (lists, tuples, and user-defined types)
3.higher-order functions
4.using abstraction to avoid repetitive programming
5.recursion and recursive data types
6.efficient and inefficient programs
7.input-output
8.verification with the help of testing
英文简介 This unit provides an introduction to functional programming, assuming no prior exposure to the paradigm. The aim is to introduce types and functions. Important principles include evaluation order, function composition, lambda-abstraction, higher-order functions, and function composition. Concrete topics encountered in the course include:
1.values, types and functions
2.compound data types (lists, tuples, and user-defined types)
3.higher-order functions
4.using abstraction to avoid repetitive programming
5.recursion and recursive data types
6.efficient and inefficient programs
7.input-output
8.verification with the help of testing
开课院系 信息科学技术学院
通选课领域  
是否属于艺术与美育
平台课性质  
平台课类型  
授课语言 英文
教材 无;
Learn you a Haskell for great good,Miran Lipovaca,Thinking functionally with Haskell,Richard Bird,
参考书 ISBN 9781593272838.;
ISBN: 9781107452640;
教学大纲 介绍函数式编程
(1)Introduction,2学时
(2)DataTypes,2学时
(3)Recursion,2学时
(4)Lab I,2学时
(5)Input/Output,2学时
(6)Testing,2学时
(7)Lab II,2学时
(8)Higher-Order Functions,2学时
(9)Type Classes,2学时
(10)Lab III,2学时
(11)Data Structures,2学时
(12)Class Presentation I,3学时
(13)FP in other languages,2学时
(14)Class Presentation II,3学时
(15)Final Exam,2学时
课堂授课80%,课堂讨论和报告20%
Lab成绩(20%-40%)、平时成绩和期末笔试(60%-80%),构成期末总评成绩
教学评估 郝丹:
学年度学期:18-19-3,课程班:函数式语言介绍1,课程推荐得分:null,教师推荐得分:null,课程得分分数段:80及以下;