date_range Débute le 22 septembre 2019
event_note Se termine le 26 décembre 2019
list 6 séquences
assignment Niveau : Intermédiaire
chat_bubble_outline Langue : Anglais
card_giftcard 120 points
Avis de la communauté
-
starstarstarstarstar

Les infos clés

credit_card Formation gratuite
verified_user Certification gratuite
timer 12 heures de cours

En résumé

Functional programming is a programming paradigm which is rapidly attracting interest from a broad range of developers because it allows to write expressive, concise and elegant programs.

In this MOOC you will learn Functional programming using the OCaml programming language.You will discover the powerful mechanisms that are offered to build and manipulate complex data structures in a clean and efficient way. And you will see how functions play a central role, as first-class values that can be freely used in any place where an expression can appear.

The OCaml programming language is a member of the ML language family pioneered by Robin Milner. An important feature of OCaml is that it reconciles the conciseness and flexibility of untyped programming languages (like Python, for example) with the safety of strongly typed programming languages (like Java, for example). The OCaml compiler performs in fact a type inference. Types of identifiers do not have to be declared but are inferred by the compiler at the moment of definition of an identifier, and then used for assuring type correctness when using an identifier.

We will start by using OCaml as a purely functional programming language. At the end of this MOOC we will see that OCaml is in fact a multi-paradigm language which allows you to combine the functional programming style with the imperative programming paradigm.

more_horiz Lire plus
more_horiz Lire moins
report_problem

Les prérequis

This course will be held in English. To follow this course we expect from you that you have already some basic knowledge of informatics, in particular you should already know how to write simple computer programs in some programming language. For instance, you should know concepts like variables (or identifiers), functions (or procedures, methods), conditionals, and loops.

record_voice_over

Les intervenants

Roberto Di Cosmo
Roberto Di Cosmo is professor of computer science at University Paris Diderot, director of Irill, currently on leave at INRIA. His research interests include functional and parallel programming, type systems, logic, rewriting, and the static analysis of large software collections.

Yann Regis-Gianas
Yann Régis-Gianas teaches computer science at Université Paris-Diderot. His research at the PPS laboratory focuses on the theory and the design of programming languages. He did his PhD in the INRIA team that develops OCaml and is now in the development team of the Coq proof assistant.

Ralf Treinen
Ralf Treinen is professor of computer science at University Paris Diderot. Symbolic constraint solving, verification and application of formal methods to the quality assurance of software components are among his current research interests. He is also a member of Irill.

store

Le concepteur

Université Paris Diderot

Ouverte sur la ville et sur le monde, Paris Diderot est une université pluridisciplinaire qui forme ses étudiant.e.s par la recherche. Carrefour des savoirs, en prise avec les grands débats qui animent la société contemporaine, elle est un creuset qui stimule les échanges et les innovations. Formation initiale ou tout au long de la vie, formations courtes ou longues, technologiques ou théoriques, chacun.e y trouvera les atouts pour réussir et s’épanouir.
Elle accueille chaque année un peu plus de 29 000 étudiant.e.s répartis en trois grands domaines : santé / sciences / arts, lettres, langues, sciences humaines et sociales. Elle compte 87 équipes de recherche. Son site principal est situé dans le 13e arrondissement à proximité de la Bibliothèque François Mitterrand. Elle est membre fondateur de la Communauté d’universités et d’établissements Sorbonne Paris Cité.

L’université du XXIe siècle sera numérique et Paris Diderot s’inscrit pleinement dans cette dynamique. Le monde est devenu un « village numérique global », la transmission des savoirs est au cœur de nos activités et les MOOCs sont un formidable outil de partage. Université pluridisciplinaire qui possède des enseignants chercheurs de grand talent, Paris Diderot souhaite dépasser les frontières physiques de son campus pour diffuser l’excellence de ses enseignements et de sa recherche à un public large et passionné.

assistant

La plateforme

FUN MOOC

France Université Numérique est le diffuseur des cours en ligne des établissements d’enseignement supérieur français et de leurs partenaires.

Il opère plusieurs plateformes de diffusion, dont la plus connue, FUN MOOC, est la première plateforme académique francophone mondiale. Grâce à de nombreux établissements partenaires, cette plateforme propose un vaste catalogue de cours s’enrichissant de jour en jour avec des thématiques variées et d’actualité.
 

Vous êtes le concepteur de ce MOOC ?
Quelle note donnez-vous à cette ressource ?
Contenu
0/5
Plateforme
0/5
Animation
0/5