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 !
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
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
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
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
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
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
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
2020-12-10 19:00:00 Online
Lien de l'événement: Meetup
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
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
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
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
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
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
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
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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