Lambda Nantes #14

Pour cette édition de Lambda Nantes, nous accueillons Vincent Gallot et Benjamin Thuillier qui viennent nous présenter des particularités des langages Typescript et Scala 3.

Nous remercions Epitech Nantes pour son accueil toujours généreux et précieux ! Comme à l'accoutumée l'effort sera récompensé par du réconfort (en option et avec modération) : nous poursuivrons les discussions dans un lieu accueillant des alentours.

FIBONACCI DANS LE SYSTÈME DE TYPES DE TYPESCRIPT

La raison d'être de TypeScript réside en son type-system, qui est parfois amicalement moqué comme étant trop profond pour son propre bien. Mais jusqu'à quel point peut-on le pousser ? Avec l'exemple de la fonction Fibonacci écrite entièrement au type-level, nous explorerons la puissance comiquement grande de ce langage dans un langage, avec (peut-être) quelques enseignements à la clé.

Vincent Gallot, ingénieur Centrale Nantes, dev full-stack depuis ~2 ans, chez Galadrim

DÉMYSTIFIER DERIVES : LA DÉRIVATION AUTOMATIQUE EN SCALA 3, UN EXEMPLE PAS À PAS

Depuis Scala 3, avec derives Encoder on ajoute une ligne, le compilateur fait le reste. Dans cette présentation, on construit ce mécanisme nous-mêmes, étape par étape : une typeclass dérivée automatiquement pour n’importe quel type produit ou somme.

Benjamin Thuillier: développeur fonctionnel depuis ~15 ans, aujourd’hui chez Conduktor sur la gouvernance Kafka. Scala au quotidien, OCaml par curiosité. Il écrit sur gilwath.com.