Section outline

  • Quand, où :

    Lundi, 9 février  2026, 7:55-12:00, Salle F119

    Objectifs :

    À la fin de cette séquence vous devez :

    1. Connaître la notion de type algébrique.
    2. Connaître les notion de type produit (enregistrement) et type sum (union disjointe)
    3. Connaître la notion de classe de type (Eq, Show, etc.)

    • Activités

    • Modifier la fonction Quadratic en utilisant un type algébrique (TDA) afin de rendre explicites les différents cas.

    • Ressources

    • Exemple de type somme en Java (Optional<T> et sealed interface)
      git clone https://gitlab.epai-ict.ch/m323/java/quadratic.git
      Exemples en PureScript
      git clone https://gitlab.epai-ict.ch/m323/purescript/exemples.git