Functionnal programming - KAIN7M05

Informations générales

  • Number of hours

    • Lectures 15.0
    • Projects -
    • Tutorials 15.0
    • Internship -
    • Laboratory works 15.0
    • Written tests 2.0

    ECTS

    ECTS 0.6

Goal(s)

Understand the paradigm of functional programming wiht the example of the OCaml language.
Be able to recognize its use in various situations including with other languages such as Java or C.
Understand and manage elementary situations involving recursive programming and recursive types.
Be able to write an interpreter for a simple imperative language.

Content(s)

This course is an introduction to the functional programming based on the Ocaml language. Lectures à followed by training sessions with computers (TD) and more extended and advanced examples in practical sessions.

The following themes are explored:
-OCaml basics
-Recursive data-structures of data and recursive programming
-Evaluation mechanism
-Higher order functions
-Modules and functors
-Typing, type inference, polymorphism
-Exceptions, references, mutable types
-Streams and recursive descending parsing
-Initiation to lambda-calculus

Prerequisites

Notions about imperative programming

Test

orks to validate it.

Calendar

The course exists in the following branches:

  • Curriculum - INFO - Semester 7

Additional Information

Course ID : KAIN7M05
Course language(s): FR

You can find this course among all other courses.

Bibliography