X
X
X

X
Courses » Introduction To Haskell Programming

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

INDUSTRY SUPPORT:
Would be useful in any industry requiring a good understanding of programming, algorithms and data structures.

2420 students have enrolled already!!

ABOUT THE INSTRUCTOR: 



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
COURSE LAYOUT

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

CERTIFICATION EXAM:

  • The exam is optional for a fee.
  • Date and Time of Exams: April 28 (Saturday) and April 29 (Sunday) : Morning session 9am to 12 noon; 
  • Exam for this course will be available in one session on both 28 and 29 April.
  • 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 needs to be paid. More details will be made available when the exam registration form is published.

CERTIFICATION :

  • Final score will be calculated as : 25% assignment score + 75% final exam scor
  • 25% assignment score is calculated as 25% of average of  Best 6 out of 8 assignments
  • E-Certificate will be given to those who register and write the exam and score greater than or equal to 40% final score. Certificate will have your name, photograph and the score in the final exam with the breakup.It will have the logos of NPTEL and IITM It will be e-verifiable at  nptel.ac.in/noc.