lambdalille / talks

History of Lambda Lille (ex-LilleFP) talks

Lambda Lille : historique des présentations

Attention, ce document est généré via les données qui se trouvent dans le répertoire history. Il ne faut donc pas modifier ce fichier !

λ · remote 15 : Coq, OCaml et Tezos et la recherche en langages de programmation

2021-06-17 19:30:00 Online

Lien de l'événement: Meetup

• Coq-of-ocaml et Tezos, application à la vérification formelle de programmes OCaml (FR), par Guillaume Claret.
  Vidéo - Support

• La recherche en langages de programmation (FR), par Gabriel Scherer.
  Vidéo - Support

λ · remote 14 : Rust et Elm (à la LilleFP 3)

2021-06-17 19:00:00 Online

Lien de l'événement: Meetup

• Elm, un langage fonctionnel ? (FR), par Sébastien Besnier.
  Vidéo - Support

• Rust-botic made my DDDay ! (FR), par Pierrick Mirabel, Luis Parada.
  Vidéo - Support

λ · remote 13 : introduction aux types dépendant via Idris

2021-05-12 19:00:00 Online

Lien de l'événement: Meetup

• Introduction aux types dépendant via Idris (FR), par Valentin Robert.
  Vidéo

λ · remote 12 : Kotlin pour la FP, Arrow & CRDT

2021-04-15 19:00:00 Online

Lien de l'événement: Meetup

• Kotlin pour de la FP ? Une brève introduction à Arrow (FR), par Xavier Van de Woestyne.
  Support

• A gentle introduction to Conflict-free replicated data types (FR), par Guillaume Bogard.
  Vidéo - Support

λ · remote 11 : bringing an OCaml to the Erlang VM

2021-03-24 19:00:00 Online

Lien de l'événement: Meetup

• Caramel: bringing an OCaml to the Erlang VM (EN), par Leandro Ostera.
  Vidéo - Support

λ · remote 10 : des Zippers, des types et Catala

2021-02-11 19:00:00 Online

Lien de l'événement: Meetup

• Des zippers et des types (FR), par Florian Angeletti.
  Vidéo - Support

• Catala, un langage fonctionnel dédié pour formaliser le droit fiscal (FR), par Denis Merigoux.
  Vidéo - Support

λ · remote 8 : une API typesafe en Haskell et les schémas de récursivité en Scala

2021-01-14 19:00:00 Online

Lien de l'événement: Meetup

• API typesafe avec Haskell Servant (FR), par Caroline Gaudreau.
  Vidéo - Support

• Les schémas de récursions (FR), par Nicolas Rinaudo.
  Vidéo - Support

λ · remote 8 : Roll your own Computation blocks in Kotlin

2020-12-10 19:00:00 Online

Lien de l'événement: Meetup

• Roll your own Computation blocks in Kotlin (EN), par Raúl Raja.
  Vidéo

λ · remote 7 : Tagged and refined types

2020-11-19 18:30:00 Online

Lien de l'événement: Meetup

• Introduction aux "tagged and refined types" (FR), par Nicolas François.
  Vidéo - Support

λ · remote 6 : Traverse & Trees That Grow

2020-10-08 18:30:00 Online

Lien de l'événement: Meetup

• C'est traverse (FR), par Clément Delafargue.
  Vidéo - Support

• Trees That Grow pour les nuls (FR), par Julien Debon.
  Vidéo - Support

λ · remote 5 : Types, tests et Free monads

2020-09-10 18:30:00 Online

Lien de l'événement: Meetup

• Types VS Tests (FR), par Julien Truffaut.
  Vidéo - Support

• Free Monads (FR), par Guillaume Bogard.
  Vidéo - Support

λ · remote 4 : ADT, GADTs et MirageOS

2020-07-09 18:30:00 Online

Lien de l'événement: Meetup

• Clarifier les ADT/GADT (FR), par Nicolas Rinaudo.
  Vidéo - Support

• Découverte de l'unikernel MirageOS (FR), par Romain Calascibetta.
  Vidéo - Support

λ · remote 3 : Tagless final & Hexagonal Architecture

2020-06-11 18:00:00 Online

Lien de l'événement: Meetup

• Tagless Final, un pont entre théorie et pratique (FR), par Frédéric Cabestre.
  Vidéo - Support

• Asynchronisme et hexagone en Kotlin avec ArrowKt (FR), par François Teychene.
  Vidéo - Support

λ · remote 2 : Effets Algébriques & Irmin Database

2020-05-07 18:00:00 Online

Lien de l'événement: Meetup

• Irmin : Yet another KV database ? (FR), par Thomas Haessle.
  Vidéo

• Effets Algébriques pour écrire de "vrais logiciels" (FR), par Xavier Van de Woestyne.
  Vidéo - Support

λ · remote 1 : du Rust et du Haskell

2020-04-09 18:00:00 Online

Lien de l'événement: Meetup

• Programmation par traits sous l'influence de la gestion mémoire (FR), par Didier Plaindoux.
  Vidéo - Support

• Coder un streamer video en 135 lignes de Haskell et en 1 week-end (FR), par Julien Dehos.
  Vidéo - Support

Lambda Lille 17 : Differentiation algorithmique et Creation d'un langage en JS

2020-01-16 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Différentiation algorithmique pour les développeurs (FR), par Mathieu Besançon.
  Support

• Étude et compilation d'un langage fonctionnel (FR), par Didier Plaindoux.
  Support

Lambda Lille 16 : REX Concurrence en Elixir et Gestion d'erreurs en Scala

2019-11-28 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Retour d'expérience - Concurrence avec Elixir (FR), par Benoit Caccinolo.

• Monade IO et gestion des erreurs : des Exceptions à Cats MTL (FR), par Guillaume Bogard.
  Support

LilleFP15, FP pure & applications multiplateformes avec Reason-React-Native

2019-05-21 19:00:00 à La maison (Lille), by Scaleway (37 Rue de la Barre)

Lien de l'événement: Meetup

• Pure FP whaaaat? (FR), par Jules Ivanic.
  Support

• Des apps multiplateformes avec reason-react-native (FR), par Mathieu Acthernoene.
  Support

LilleFP14, du Rust et Nix

2019-04-25 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Créer vos modules natifs avec Rust - introduction à Neon-Bindings (FR), par Thomas Haessle.
  Support

• Un aperçu de l'écosystème Nix (FR), par Julien Dehos.
  Support

LilleFP13, GADTs et types dépendants !

2019-03-26 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• The elevator problem: A brief contextualized introduction to finite state machines in a type-safe context (FR), par Xavier Van de Woestyne.
  Support

• Le XXIème siècle sera typé ou ne sera pas (FR), par Arnaud Bailly.

LilleFP12, le tant attendu Haskell s'invite à LilleFP !

2019-02-27 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Tests de propriétés : Ecrire moins de tests, trouver plus de bugs (FR), par Julien Debon.
  Support

• Applications web isomorphes en Haskell (FR), par Julien Dehos.
  Support

LilleFP11, la rentrée des champions

2018-09-20 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Buzzwords et programmation fonctionnelle, 10 minutes pour comprendre ce que "sont les monades" (FR), par Xavier Van de Woestyne.
  Vidéo

• Paramètres implicites dans le langage OCaml étendu avec des effets algébriques (FR), par Paul Laforgue.

• Julia: the hack, the soundness and the math (FR), par Mathieu Besançon.
  Vidéo

LilleFP10, à l'assaut des TypeClasses (Scala à la rescousse) !

2018-05-25 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Type Classes from the Ground Up (FR), par Nicolas Rinaudo.
  Vidéo - Support

• Generic typeclass derivation (FR), par Thomas Dufour.
  Vidéo - Support

LilleFP9, Elm et Infer

2018-03-20 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Building a Several Pages App with Elm (Json handling) (FR), par Vincent Billey.
  Vidéo - Support

• Trouver des Bugs inter-procéduraux à grande échelle avec Infer (FR), par Jules Villard.
  Support

LilleFP8, La blockchain et les tests dirigés par les propriétés

2018-01-08 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Des chaînes et des transactions (Blockchain) (FR), par Adrien Bensaïbi.
  Vidéo - Support

• Tests de propriétés avec ScalaCheck (FR), par Thomas Dufour.
  Vidéo - Support

LilleFP7, Elixir

2017-11-16 19:00:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• Exploration des meta-formats via les bitstrings en Elixir (FR), par Julien Leclercq.
  Vidéo - Support

• Phoenix is not your API (FR), par Thomas Gautier.
  Vidéo - Support

LilleFP6, OCaml, ReasonML et BuckleScript

2017-09-18 18:45:00 à Epitech Lille (5-9 Rue du Palais Rihour)

Lien de l'événement: Meetup

• À la découverte du langage OCaml (FR), par Xavier Van de Woestyne.
  Vidéo - Support

• ReasonML & Bucklescript, ou comment faire une application NodeJS fonctionnelle (FR), par Thomas Haessle.
  Vidéo - Support

LilleFP5, Go! et Scala

2017-06-22 19:30:00 à Dernier Cri (16 Place du général de gaulle (5ème étage))

Lien de l'événement: Meetup

• Go, un langage déficient ? (FR), par Guillaume Bailleul.
  Vidéo - Support

• Gestion d'erreur fonctionnelle avec Scala et Cats (FR), par Thomas Dufour.
  Vidéo - Support

LilleFP4, Alpaca et Scala

2017-05-04 19:30:00 à Dernier Cri (16 Place du général de gaulle (5ème étage))

Lien de l'événement: Meetup

• Laissons le Lama cracher, Alpaca (FR), par Xavier Van de Woestyne.
  Vidéo - Support

• Implicits pour faire des APIs simples, des DSL ou de la magie noire, ça marche comment ? (FR), par Quentin Adam.
  Vidéo

LilleFP3 >< Rust Lille

2017-02-23 18:45:00 à Dernier Cri (16 Place du général de gaulle (5ème étage))

Lien de l'événement: Meetup

• Présentation de la fondation Mozilla (FR), par Quentin Lamamy.
  Vidéo

• Pourquoi vous devez vous intéresser à Rust (FR), par Antonin Carette.
  Vidéo - Support

• Retour d'expérience de Rust pour Snatch (FR), par Antonin Carette.
  Vidéo - Support

• La gentille introduction à Elm (FR), par Raphaël Palliès, Xavier Van de Woestyne.
  Vidéo - Support

• Manipulating Time in Elm (FR), par Vincent Billey.
  Vidéo - Support

LilleFP2 >< Lille |> Elixir

2016-11-28 19:00:00 à Dernier Cri (16 Place du général de gaulle (5ème étage))

Lien de l'événement: Meetup

• Elixir is not Ruby (FR), par Thomas Gautier.
  Vidéo - Support

• Typesafe routing for Single Page App (FR), par Xavier Van de Woestyne.
  Vidéo - Support

LilleFP1 - parlons fonctionnel

2016-07-12 19:30:00 à Dernier Cri (16 Place du général de gaulle (5ème étage))

Lien de l'événement: Meetup

• Faire de la programmation fonctionnelle en JavaScript (FR), par Vincent Billey.
  Vidéo - Support

• Présentation du Mooc OCaml (FR), par Paul Laforgue.

• Asynchronisme et Scala (FR), par Jules Ivanic.

• Elixir: Do we just follow the hype? (FR), par Kevin Disneur.
  Vidéo - Support