Lambda Lille λ · remote 6 : Traverse & Trees That Grow

"C'est traverse" par Clément Delafargue @clementd

La fonction «traverse» est si omniprésente dans la programmation fonctionnelle qu'elle est devenue une blague : «traverse» est le nouveau «42». Comme c'est un peu abstrait jusqu'à ce que vous le rencontriez réellement, creusons un peu et passons en revue un cas où ... eh bien, c'était en fait `traverse`.

---

"Trees That Grow for dummies" par Julien Debon @Sir4ur0n

Je vous propose dans ce talk de découvrir une technique en Haskell pour étendre vos structures de données (ADTs) de manière type safe, issue du papier Trees That Grow. L'objectif est de montrer à quel problème cette technique répond, puis de montrer comment étendre vos types de données "concrètement".