Types Classes, Traits, Implicits... Bigre !

intermediate
talk

Lundi 21 Décembre 2020

12h30

Brèves de comptoir:

  • “Les Type Classes c’est un peu comme des interfaces de Java quoi…”
  • “En Rust t’as pas de classes, mais les Traits, tu vois, c’est presque pareil.”
  • “Les Implicits de Scala… pfiou… C’est pénible et j’y comprends rien.”

Alors oui… Mais non.

Je vous propose de reprendre à partir des bases : de l’apparition des Type Classes en Haskell et du problème de polymorphisme qu’elles permettent de traiter. Nous tenterons une comparaison avec le concept objet de F-Bounded Polymorphism (Houlà, c’est quoi cette bestiole !).

Puis nous verrons comment elles peuvent se mettre en œuvre à l’aide de Scala et des si redoutés Implicits : les « Type classes du pauvre » comme l’a dit Martin Odersky un jour. Et pour finir, nous essayerons de déterminer dans quelle mesure les Traits de Rust y sont assimilables… Ou pas.

🖐️ Diffusion: https://www.twitch.tv/rdvspeakers