X
X
X

X
Courses » 2016: An introduction to Haskell Programming

2016: An introduction to Haskell Programming

ABOUT THE COURSE
Functional programming is an elegant, concise and powerful programming paradigm. This style encourages breaking up programming tasks into logical units that can be easily translated into provably correct code. Haskell brings together the best features of functional programming and is increasingly being used in the industry, both for building rapid prototypes and for actual deployment.

INTENDED AUDIENCE
Any one interested in learning this language

PRE-REQUISITES
NIL

INDUSTRIES THAT WILL VALUE THIS
Would be useful in any industry requiring a good understanding of programming, algorithms and data structures.

COURSE INSTRUCTORS:



Prof.Madhavan Mukund
studied at IIT Bombay (BTech) and Aarhus University (PhD).
He has been a faculty member at Chennai Mathematical Institute since 1992, where he is presently Professor and Dean of Studies. His main research area is formal verification. In addition to the NPTEL MOOC programme, he has been involved in organizing IARCS Instructional Courses for college teachers. He is a member of ACM India’s Education Board. He has contributed lectures on algorithms to the Massively Empowered Classroom (MEC) project of Microsoft Research and the QEEE programme of MHRD.




Prof.S P Suresh studied at REC Trichy (MCA) and The Institute of Mathematical Sciences (PhD). He has been a faculty member at the Chennai Mathematical Institute since 2004, currently an Associate Professor. His main research interests are logic in computer science, formal methods for security and proof theory.

SYLLABUS OUTLINE
COURSE LAYOUT

• Introduction to Haskell and the ghci interpreter
• Defining functions: guards, pattern matching and recursion
• Lists, strings and tuples
• Types and polymorphim
• Higher order functions on lists: map, filter, list comprehension
• Computation as rewriting, lazy evaluation and infinite data structures
• Conditional polymorphism and type classes
• User defined datatypes: lists, queues, trees
• Input/output and the ghc compiler
• Arrays


Certification Exam

The exam is optional.
Exams will be on 20 March 2016 and 27 March 2016.
Time: 2pm-5pm

Tentative list of exam cities: http://nptel.ac.in/noc/pdf/Exam%20City-list.pdf

Registration url: Announcements will be made when the registration form is open for registrations.

The online registration form has to be filled and the certification exam fee of approximately Rs 1000 needs to be paid.

Certificate

Certificate will be given to those who register and write the exam. Certificate will have your name, photograph and the score in the final exam.

It will have the logos of NPTEL and IIT Madras. It will be e-verifiable at nptel.ac.in/noc.