Aller au menu Aller au contenu
Academics
Academics
Academics

> Academics > Engineering Programs

- 2AMCS212

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
  • Number of hours

    • Lectures : 9.0
    • Tutorials : 9.0
    • Laboratory works : 9.0
    ECTS : 2.0

Goals

At the end of the course, the student should be able to:

  • handle elaborate data structures (linked lists, trees);
  • design a recursive routine working on an elaborate data structure;
  • program with a statically-typed functional language (like Haskell or CaML), sticking to a pure subset of the language (inducing few or no side-effects).
Contact Yann KIEFFER

Content

  • Expressions; use of toplevel evalulation loop;
  • Basic types; type constructors (lists, ...);
  • Defining recursive functions;
  • Type definitions: enumerated types, product types, sum types.
  • Type classes;
  • Applications to the design of more complex data structures;
  • Side effects: the case of input/output.


Prerequisites
  • The mathematical notion of function
  • Basics on algorithmics and data structures

Tests

E: exam
TP: lab sessions evaluation



Additional Information

Curriculum->First cycle->PSemester 4

Bibliography

Real World Haskell, Bryan O'Sullivan, John Goerzen & Don Stewart, O'Reilly (Ed).
Purely Functional Data Structures, Chris Okasaki, Cambridge University Press.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

Date of update June 25, 2015

French
ESISAR
Grenoble INP - Esisar
50 rue Barthélémy de Laffemas CS 10054
​​​​​​​26902 Valence Cedex 09 - France
Tél : 04 75 75 94 00 - Fax : 04 75 43 56 42
 
 
        
Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes