tuto fonctionnel 52 : Type algébrique et GADT, en Haskell https://peertube.fr/videos/watch/a7b9fd45-2769-4773-a235-3374b745343f https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_52/2021-02-06-fr-README.html Les types de données algébriques (ADT) sont des types composites très utiles dans des langages comme Haskell, Rust ou encore OCaml. Grossièrement, ils permettent à l’utilisateur de définir des types d’énumérations et des types de structures. En réalité, ils sont bien plus puissants que cela car ils supportent également le pattern-matching, la récursivité, du polymorphisme et même les types de données algébriques généralisés (GADT). Cet article présente les ADT et les GADT en Haskell ainsi qu’un exemple d’utilisation classique. Wed, 08 Apr 2026 09:12:11 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.fr tuto fonctionnel 52 : Type algébrique et GADT, en Haskell https://peertube.fr/client/assets/images/icons/icon-1500x1500.png https://peertube.fr/videos/watch/a7b9fd45-2769-4773-a235-3374b745343f All rights reserved, unless otherwise specified in the terms specified at https://peertube.fr/about and potential licenses granted by each content's rightholder.