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