├── .nojekyll └── README.md /.nojekyll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdalille/talks/07c02d20767d60278140ad2a11888b4ab7cf3a81/.nojekyll -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Lambda Lille : historique des présentations 2 | 3 | > Attention, ce document est généré via les données qui se trouvent 4 | > dans le répertoire [history](https://github.com/lambdalille/history). 5 | > Il ne faut donc pas modifier ce fichier ! 6 | 7 | ## λ · remote 15 : Coq, OCaml et Tezos et la recherche en langages de programmation 8 | 9 | 2021-06-17 19:30:00 10 | _Online_ 11 | 12 | **Lien de l'événement:** [Meetup](https://www.meetup.com/fr-FR/LambdaLille/events/281374644/) 13 | 14 | - **Coq-of-ocaml et Tezos, application à la vérification formelle de programmes OCaml** (FR), par 15 | [Guillaume Claret](https://twitter.com/guillaumeclaret). 16 | [Vidéo](https://www.youtube.com/watch?v=PrvLhwXJjps) - [Support](https://github.com/lambdalille/mirror/blob/gh-pages/coq-of-ocaml.pdf) 17 | 18 | - **La recherche en langages de programmation** (FR), par 19 | [Gabriel Scherer](http://cambium.inria.fr/~scherer/). 20 | [Vidéo](https://www.youtube.com/watch?v=fM5bVvyR_pA) - [Support](https://github.com/lambdalille/mirror/blob/gh-pages/gasche-research-in-pl.org) 21 | 22 | 23 | 24 | 25 | ## λ · remote 14 : Rust et Elm (à la LilleFP 3) 26 | 27 | 2021-06-17 19:00:00 28 | _Online_ 29 | 30 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/278388095/) 31 | 32 | - **Elm, un langage fonctionnel ?** (FR), par 33 | [Sébastien Besnier](https://twitter.com/_sebbes_). 34 | [Vidéo](https://www.youtube.com/watch?v=HZNEfdlnBqc) - [Support](https://slides.com/sebbes/elm-a-functional-language/) 35 | 36 | - **Rust-botic made my DDDay !** (FR), par 37 | [Pierrick Mirabel](https://twitter.com/PierrickMirabel), [Luis Parada](https://www.linkedin.com/in/lparada/). 38 | [Vidéo](https://www.youtube.com/watch?v=Wr-4aDIbW7k) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/rustbotic.pdf) 39 | 40 | 41 | 42 | 43 | ## λ · remote 13 : introduction aux types dépendant via Idris 44 | 45 | 2021-05-12 19:00:00 46 | _Online_ 47 | 48 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/277814368/) 49 | 50 | - **Introduction aux types dépendant via Idris** (FR), par 51 | [Valentin Robert](https://twitter.com/ptival). 52 | [Vidéo](https://www.youtube.com/watch?v=pIUgDxqgtQo) 53 | 54 | 55 | 56 | 57 | ## λ · remote 12 : Kotlin pour la FP, Arrow & CRDT 58 | 59 | 2021-04-15 19:00:00 60 | _Online_ 61 | 62 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/276820419/) 63 | 64 | - **Kotlin pour de la FP ? Une brève introduction à Arrow** (FR), par 65 | [Xavier Van de Woestyne](https://twitter.com/vdwxv). 66 | [Support](http://xvw.github.io/talks/lambdalille-kotlin-arrow/support.pdf) 67 | 68 | - **A gentle introduction to Conflict-free replicated data types** (FR), par 69 | [Guillaume Bogard](https://twitter.com/bogardguillaume). 70 | [Vidéo](https://www.youtube.com/watch?v=7XNXUsZ2uHI) - [Support](https://crdt.guillaumebogard.dev/slides/) 71 | 72 | 73 | 74 | 75 | ## λ · remote 11 : bringing an OCaml to the Erlang VM 76 | 77 | 2021-03-24 19:00:00 78 | _Online_ 79 | 80 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/275980753/) 81 | 82 | - **Caramel: bringing an OCaml to the Erlang VM** (EN), par 83 | [Leandro Ostera](https://twitter.com/leostera). 84 | [Vidéo](https://www.youtube.com/watch?v=dxo8GirFSkY) - [Support](https://slides.com/ostera/caramel-lang-v01/) 85 | 86 | 87 | 88 | 89 | ## λ · remote 10 : des Zippers, des types et Catala 90 | 91 | 2021-02-11 19:00:00 92 | _Online_ 93 | 94 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/275961019/) 95 | 96 | - **Des zippers et des types** (FR), par 97 | [Florian Angeletti](https://github.com/Octachron). 98 | [Vidéo](https://www.youtube.com/watch?v=PF1RIOYp-pc) - [Support](https://perso.quaesituri.org/florian.angeletti/talks/Internet%3ALambdaLille%3A2021/presentation.html) 99 | 100 | - **Catala, un langage fonctionnel dédié pour formaliser le droit fiscal** (FR), par 101 | [Denis Merigoux](https://twitter.com/DMerigoux). 102 | [Vidéo](https://www.youtube.com/watch?v=vaXGgrUHtuk) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/catala.pdf) 103 | 104 | 105 | 106 | 107 | ## λ · remote 8 : une API typesafe en Haskell et les schémas de récursivité en Scala 108 | 109 | 2021-01-14 19:00:00 110 | _Online_ 111 | 112 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/275535945/) 113 | 114 | - **API typesafe avec Haskell Servant** (FR), par 115 | [Caroline Gaudreau](https://twitter.com/akhesaCaro). 116 | [Vidéo](https://www.youtube.com/watch?v=Fv-T06e0MDk) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/servant.pdf) 117 | 118 | - **Les schémas de récursions** (FR), par 119 | [Nicolas Rinaudo](https://twitter.com/NicolasRinaudo). 120 | [Vidéo](https://www.youtube.com/watch?v=7pLxJY-HHO0) - [Support](https://nrinaudo.github.io/recursion-schemes-from-the-ground-up/#1) 121 | 122 | 123 | 124 | 125 | ## λ · remote 8 : Roll your own Computation blocks in Kotlin 126 | 127 | 2020-12-10 19:00:00 128 | _Online_ 129 | 130 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/274785374/) 131 | 132 | - **Roll your own Computation blocks in Kotlin** (EN), par 133 | [Raúl Raja](https://www.twitter.com/raulraja). 134 | [Vidéo](https://www.youtube.com/watch?v=0_zatebXMDU) 135 | 136 | 137 | 138 | 139 | ## λ · remote 7 : Tagged and refined types 140 | 141 | 2020-11-19 18:30:00 142 | _Online_ 143 | 144 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/274348373/) 145 | 146 | - **Introduction aux "tagged and refined types"** (FR), par 147 | [Nicolas François](https://twitter.com/Koisell). 148 | [Vidéo](https://www.youtube.com/watch?v=FiD2ZtwzluU) - [Support](https://github.com/MEDIARITHMICS/talks/blob/master/lambda-lille-nov-2020-tagged-refined-security/Introduction%20aux%20types%20tagg%C3%A9s%20et%20rafin%C3%A9s%20une%20approche%20par%20la%20s%C3%A9curit%C3%A9.pdf) 149 | 150 | 151 | 152 | 153 | ## λ · remote 6 : Traverse & Trees That Grow 154 | 155 | 2020-10-08 18:30:00 156 | _Online_ 157 | 158 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/273574387/) 159 | 160 | - **C'est traverse** (FR), par 161 | [Clément Delafargue](https://twitter.com/clementd). 162 | [Vidéo](https://youtu.be/qB_hDiQtrMo) - [Support](https://clementd-files.cellar-c2.services.clever-cloud.com/lambdalille-traverse.html) 163 | 164 | - **Trees That Grow pour les nuls** (FR), par 165 | [Julien Debon](https://twitter.com/Sir4ur0n). 166 | [Vidéo](https://youtu.be/qB_hDiQtrMo?t=3606) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/lambda-lille-remote-6-trees.pdf) 167 | 168 | 169 | 170 | 171 | ## λ · remote 5 : Types, tests et Free monads 172 | 173 | 2020-09-10 18:30:00 174 | _Online_ 175 | 176 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/272699399/) 177 | 178 | - **Types VS Tests** (FR), par 179 | [Julien Truffaut](https://twitter.com/JulienTruffaut). 180 | [Vidéo](https://www.youtube.com/watch?v=HTvll2QWqFo) - [Support](https://blog.fp-tower.com/types-vs-tests/#1) 181 | 182 | - **Free Monads** (FR), par 183 | [Guillaume Bogard](https://twitter.com/bogardguillaume). 184 | [Vidéo](https://youtu.be/HTvll2QWqFo?t=3400) - [Support](https://github.com/gbogard/free-monads-from-scratch/blob/master/presentation.pdf) 185 | 186 | 187 | 188 | 189 | ## λ · remote 4 : ADT, GADTs et MirageOS 190 | 191 | 2020-07-09 18:30:00 192 | _Online_ 193 | 194 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/271601210/) 195 | 196 | - **Clarifier les ADT/GADT** (FR), par 197 | [Nicolas Rinaudo](https://twitter.com/NicolasRinaudo). 198 | [Vidéo](https://youtu.be/fpGmsIoDU0k) - [Support](https://nrinaudo.github.io/far-more-adt/#1) 199 | 200 | - **Découverte de l'unikernel MirageOS** (FR), par 201 | [Romain Calascibetta](https://twitter.com/Dinoosaure). 202 | [Vidéo](https://youtu.be/fpGmsIoDU0k?t=3794) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/MirageOS.pdf) 203 | 204 | 205 | 206 | 207 | ## λ · remote 3 : Tagless final & Hexagonal Architecture 208 | 209 | 2020-06-11 18:00:00 210 | _Online_ 211 | 212 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/270910676/) 213 | 214 | - **Tagless Final, un pont entre théorie et pratique** (FR), par 215 | [Frédéric Cabestre](https://twitter.com/fcabestre). 216 | [Vidéo](https://www.youtube.com/watch?v=moJpV-BgezM) - [Support](http://tagless-final-lambda-lille.sigusr.net/#/) 217 | 218 | - **Asynchronisme et hexagone en Kotlin avec ArrowKt** (FR), par 219 | [François Teychene](https://twitter.com/fteychene). 220 | [Vidéo](https://youtu.be/moJpV-BgezM?t=3861) - [Support](https://docs.google.com/presentation/d/1VHks70cEW7CAWbiiien5bXEqfeSZ8m4ixVN31yoUP28/present#slide=id.p3) 221 | 222 | 223 | 224 | 225 | ## λ · remote 2 : Effets Algébriques & Irmin Database 226 | 227 | 2020-05-07 18:00:00 228 | _Online_ 229 | 230 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/270275826/) 231 | 232 | - **Irmin : Yet another KV database ?** (FR), par 233 | [Thomas Haessle](https://twitter.com/oteku). 234 | [Vidéo](https://youtu.be/BT2e-DkcVQo) 235 | 236 | - **Effets Algébriques pour écrire de "vrais logiciels"** (FR), par 237 | [Xavier Van de Woestyne](https://twitter.com/vdwxv). 238 | [Vidéo](https://youtu.be/BT2e-DkcVQo?t=1770) - [Support](http://xvw.github.io/talks/lillefp-remote-effect/slides.pdf) 239 | 240 | 241 | 242 | 243 | ## λ · remote 1 : du Rust et du Haskell 244 | 245 | 2020-04-09 18:00:00 246 | _Online_ 247 | 248 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/269852942/) 249 | 250 | - **Programmation par traits sous l'influence de la gestion mémoire** (FR), par 251 | [Didier Plaindoux](https://twitter.com/dplaindoux). 252 | [Vidéo](https://youtu.be/6CO98XBsNiY) - [Support](https://github.com/d-plaindoux/rust-traits) 253 | 254 | - **Coder un streamer video en 135 lignes de Haskell et en 1 week-end** (FR), par 255 | [Julien Dehos](https://juliendehos.gitlab.io/). 256 | [Vidéo](https://youtu.be/6CO98XBsNiY?t=4355) - [Support](https://juliendehos.gitlab.io/talk-2020-lambdalille-covideo19/index.pdf) 257 | 258 | 259 | 260 | 261 | ## Lambda Lille 17 : Differentiation algorithmique et Creation d'un langage en JS 262 | 263 | 2020-01-16 19:00:00 264 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 265 | (_5-9 Rue du Palais Rihour_) 266 | 267 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/267489377/) 268 | 269 | - **Différentiation algorithmique pour les développeurs** (FR), par 270 | [Mathieu Besançon](https://twitter.com/matbesancon). 271 | [Support](https://matbesancon.github.io/slides/ad4dev#/) 272 | 273 | - **Étude et compilation d'un langage fonctionnel** (FR), par 274 | [Didier Plaindoux](https://twitter.com/dplaindoux). 275 | [Support](http://d.plaindoux.free.fr/talks/lambdalille/mfun/index.html#/) 276 | 277 | 278 | 279 | 280 | ## Lambda Lille 16 : REX Concurrence en Elixir et Gestion d'erreurs en Scala 281 | 282 | 2019-11-28 19:00:00 283 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 284 | (_5-9 Rue du Palais Rihour_) 285 | 286 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/266407092/) 287 | 288 | - **Retour d'expérience - Concurrence avec Elixir** (FR), par 289 | [Benoit Caccinolo](https://github.com/bcaccinolo). 290 | 291 | 292 | - **Monade IO et gestion des erreurs : des Exceptions à Cats MTL** (FR), par 293 | [Guillaume Bogard](https://twitter.com/bogardguillaume). 294 | [Support](https://github.com/gbogard/cats-mtl-talk/blob/master/slides.pdf) 295 | 296 | 297 | 298 | 299 | ## LilleFP15, FP pure & applications multiplateformes avec Reason-React-Native 300 | 301 | 2019-05-21 19:00:00 302 | à [La maison (Lille), by Scaleway](https://careers.scaleway.com/la-maison/) 303 | (_37 Rue de la Barre_) 304 | 305 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/261321061/) 306 | 307 | - **Pure FP whaaaat?** (FR), par 308 | [Jules Ivanic](https://twitter.com/guizmaii). 309 | [Support](https://blog.jules-ivanic.com/LilleFP/#1) 310 | 311 | - **Des apps multiplateformes avec reason-react-native** (FR), par 312 | [Mathieu Acthernoene](https://twitter.com/zoontek). 313 | [Support](https://speakerdeck.com/zoontek/des-apps-multiplateformes-avec-reason-react-native) 314 | 315 | 316 | 317 | 318 | ## LilleFP14, du Rust et Nix 319 | 320 | 2019-04-25 19:00:00 321 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 322 | (_5-9 Rue du Palais Rihour_) 323 | 324 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/260541114/) 325 | 326 | - **Créer vos modules natifs avec Rust - introduction à Neon-Bindings** (FR), par 327 | [Thomas Haessle](https://twitter.com/oteku). 328 | [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/lillefp13-node-rust.pdf) 329 | 330 | - **Un aperçu de l'écosystème Nix** (FR), par 331 | [Julien Dehos](https://juliendehos.gitlab.io/). 332 | [Support](https://juliendehos.gitlab.io/talk-2019-lillefp-nix/) 333 | 334 | 335 | 336 | 337 | ## LilleFP13, GADTs et types dépendants ! 338 | 339 | 2019-03-26 19:00:00 340 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 341 | (_5-9 Rue du Palais Rihour_) 342 | 343 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/259496632/) 344 | 345 | - **The elevator problem: A brief contextualized introduction to finite state machines in a type-safe context** (FR), par 346 | [Xavier Van de Woestyne](https://twitter.com/vdwxv). 347 | [Support](http://xvw.github.io/talks/breizhcamp-tep/slides.pdf) 348 | 349 | - **Le XXIème siècle sera typé ou ne sera pas** (FR), par 350 | [Arnaud Bailly](https://twitter.com/dr_c0d3). 351 | 352 | 353 | 354 | 355 | 356 | ## LilleFP12, le tant attendu Haskell s'invite à LilleFP ! 357 | 358 | 2019-02-27 19:00:00 359 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 360 | (_5-9 Rue du Palais Rihour_) 361 | 362 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/258682124/) 363 | 364 | - **Tests de propriétés : Ecrire moins de tests, trouver plus de bugs** (FR), par 365 | [Julien Debon](https://twitter.com/Sir4ur0n). 366 | [Support](https://docs.google.com/presentation/d/1SoBSu6ijnlt3nS694-I3OTgC6LyoiDhAae8Ff2KQMes/edit#slide=id.p) 367 | 368 | - **Applications web isomorphes en Haskell** (FR), par 369 | [Julien Dehos](https://juliendehos.gitlab.io/). 370 | [Support](https://juliendehos.gitlab.io/talk-2019-lillefp-miso/) 371 | 372 | 373 | 374 | 375 | ## LilleFP11, la rentrée des champions 376 | 377 | 2018-09-20 19:00:00 378 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 379 | (_5-9 Rue du Palais Rihour_) 380 | 381 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/254473617/) 382 | 383 | - **Buzzwords et programmation fonctionnelle, 10 minutes pour comprendre ce que "sont les monades"** (FR), par 384 | [Xavier Van de Woestyne](https://twitter.com/vdwxv). 385 | [Vidéo](https://www.youtube.com/watch?v=vFAuWHPSZts) 386 | 387 | - **Paramètres implicites dans le langage OCaml étendu avec des effets algébriques** (FR), par 388 | [Paul Laforgue](https://twitter.com/lowphink). 389 | 390 | 391 | - **Julia: the hack, the soundness and the math** (FR), par 392 | [Mathieu Besançon](https://twitter.com/matbesancon). 393 | [Vidéo](https://www.youtube.com/watch?v=DROzsNero04) 394 | 395 | 396 | 397 | 398 | ## LilleFP10, à l'assaut des TypeClasses (Scala à la rescousse) ! 399 | 400 | 2018-05-25 19:00:00 401 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 402 | (_5-9 Rue du Palais Rihour_) 403 | 404 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/250297947/) 405 | 406 | - **Type Classes from the Ground Up** (FR), par 407 | [Nicolas Rinaudo](https://twitter.com/NicolasRinaudo). 408 | [Vidéo](https://youtu.be/xKO1dzcbSbM) - [Support](https://nrinaudo.github.io/type-classes-from-the-ground-up/#1) 409 | 410 | - **Generic typeclass derivation** (FR), par 411 | [Thomas Dufour](https://twitter.com/chwthewke). 412 | [Vidéo](https://www.youtube.com/watch?v=EQe2X7Bf6sw) - [Support](https://github.com/chwthewke/lillefp10/raw/devel/Generic%20typeclass%20derivation.pdf) 413 | 414 | 415 | 416 | 417 | ## LilleFP9, Elm et Infer 418 | 419 | 2018-03-20 19:00:00 420 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 421 | (_5-9 Rue du Palais Rihour_) 422 | 423 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/248092848/) 424 | 425 | - **Building a Several Pages App with Elm (Json handling)** (FR), par 426 | [Vincent Billey](http://twitter.com/Fenntasy). 427 | [Vidéo](https://www.youtube.com/watch?v=J-ml4Dav6DQ) - [Support](http://fenntasy.github.io/talks/spa-with-elm/index.html) 428 | 429 | - **Trouver des Bugs inter-procéduraux à grande échelle avec Infer** (FR), par 430 | [Jules Villard](http://jules.pauvre.org/). 431 | [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/lillefp9-infer.pdf) 432 | 433 | 434 | 435 | 436 | ## LilleFP8, La blockchain et les tests dirigés par les propriétés 437 | 438 | 2018-01-08 19:00:00 439 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 440 | (_5-9 Rue du Palais Rihour_) 441 | 442 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/246212553/) 443 | 444 | - **Des chaînes et des transactions (Blockchain)** (FR), par 445 | [Adrien Bensaïbi](https://twitter.com/olinkloo). 446 | [Vidéo](https://www.youtube.com/watch?v=203VwEyLrXQ) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/lillefp8-blockchain.pdf) 447 | 448 | - **Tests de propriétés avec ScalaCheck** (FR), par 449 | [Thomas Dufour](https://twitter.com/chwthewke). 450 | [Vidéo](https://www.youtube.com/watch?v=wjHniPaZBP0) - [Support](https://github.com/chwthewke/lillefp8/raw/master/Tests%20de%20propri%C3%A9t%C3%A9s.pdf) 451 | 452 | 453 | 454 | 455 | ## LilleFP7, Elixir 456 | 457 | 2017-11-16 19:00:00 458 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 459 | (_5-9 Rue du Palais Rihour_) 460 | 461 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/244510772/) 462 | 463 | - **Exploration des meta-formats via les bitstrings en Elixir** (FR), par 464 | [Julien Leclercq](https://github.com/julien-leclercq). 465 | [Vidéo](https://www.youtube.com/watch?v=XIVF1eDO6uE) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/lillefp7-bitstring.pdf) 466 | 467 | - **Phoenix is not your API** (FR), par 468 | [Thomas Gautier](https://twitter.com/aryko). 469 | [Vidéo](https://www.youtube.com/watch?v=grcplpIL60I) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/lillefp7-phoenix.pdf) 470 | 471 | 472 | 473 | 474 | ## LilleFP6, OCaml, ReasonML et BuckleScript 475 | 476 | 2017-09-18 18:45:00 477 | à [Epitech Lille](https://www.epitech.eu/fr/ecole-informatique-lille/) 478 | (_5-9 Rue du Palais Rihour_) 479 | 480 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/242380047/) 481 | 482 | - **À la découverte du langage OCaml** (FR), par 483 | [Xavier Van de Woestyne](https://twitter.com/vdwxv). 484 | [Vidéo](https://www.youtube.com/watch?v=j7JX9hRTRJo) - [Support](http://xvw.github.io/talks/lillefp6-ocaml/slides.pdf) 485 | 486 | - **ReasonML & Bucklescript, ou comment faire une application NodeJS fonctionnelle** (FR), par 487 | [Thomas Haessle](https://twitter.com/oteku). 488 | [Vidéo](https://www.youtube.com/watch?v=a4QlUn7cUkA) - [Support](https://www.slideshare.net/ThomasHaessle/nodejs-the-edge-of-reason-lille-fp6) 489 | 490 | 491 | 492 | 493 | ## LilleFP5, Go! et Scala 494 | 495 | 2017-06-22 19:30:00 496 | à [Dernier Cri](http://derniercri.io) 497 | (_16 Place du général de gaulle (5ème étage)_) 498 | 499 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/240476119/) 500 | 501 | - **Go, un langage déficient ?** (FR), par 502 | [Guillaume Bailleul](https://github.com/guillaumebailleul). 503 | [Vidéo](https://www.youtube.com/watch?v=BMttH2H0Q7s) - [Support](https://raw.githubusercontent.com/lambdalille/mirror/gh-pages/go.pdf) 504 | 505 | - **Gestion d'erreur fonctionnelle avec Scala et Cats** (FR), par 506 | [Thomas Dufour](https://twitter.com/chwthewke). 507 | [Vidéo](https://www.youtube.com/watch?v=im5bTIi4yNU) - [Support](https://github.com/chwthewke/lillefp5/raw/master/cats-errors.pdf) 508 | 509 | 510 | 511 | 512 | ## LilleFP4, Alpaca et Scala 513 | 514 | 2017-05-04 19:30:00 515 | à [Dernier Cri](http://derniercri.io) 516 | (_16 Place du général de gaulle (5ème étage)_) 517 | 518 | **Lien de l'événement:** [Meetup](https://www.meetup.com/fr-FR/Lille-FP/events/238540711/) 519 | 520 | - **Laissons le Lama cracher, Alpaca** (FR), par 521 | [Xavier Van de Woestyne](https://twitter.com/vdwxv). 522 | [Vidéo](https://www.youtube.com/watch?v=qUJokqiPFrQ) - [Support](http://xvw.github.io/talks/alpaca/slides.pdf) 523 | 524 | - **Implicits pour faire des APIs simples, des DSL ou de la magie noire, ça marche comment ?** (FR), par 525 | [Quentin Adam](https://twitter.com/waxzce). 526 | [Vidéo](https://www.youtube.com/watch?v=FFwq4LtxzZg) 527 | 528 | 529 | 530 | 531 | ## LilleFP3 >< Rust Lille 532 | 533 | 2017-02-23 18:45:00 534 | à [Dernier Cri](http://derniercri.io) 535 | (_16 Place du général de gaulle (5ème étage)_) 536 | 537 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/237497716/) 538 | 539 | - **Présentation de la fondation Mozilla** (FR), par 540 | [Quentin Lamamy](https://twitter.com/quentin_lamamy/). 541 | [Vidéo](https://www.youtube.com/watch?v=fjZPbYyM49w) 542 | 543 | - **Pourquoi vous devez vous intéresser à Rust** (FR), par 544 | [Antonin Carette](https://twitter.com/k0pernicus). 545 | [Vidéo](https://www.youtube.com/watch?v=4zVC2goUcaY) - [Support](http://carette.xyz/lillefp_rust_2302.pdf) 546 | 547 | - **Retour d'expérience de Rust pour Snatch** (FR), par 548 | [Antonin Carette](https://twitter.com/k0pernicus). 549 | [Vidéo](https://www.youtube.com/watch?v=R0lxyvdRh0A) - [Support](http://carette.xyz/lillefp_rust_2302.pdf) 550 | 551 | - **La gentille introduction à Elm** (FR), par 552 | [Raphaël Palliès](https://twitter.com/fpilot333), [Xavier Van de Woestyne](https://twitter.com/vdwxv). 553 | [Vidéo](https://www.youtube.com/watch?v=rVZRCXutfng) - [Support](http://xvw.github.io/talks/elm-begining/slides.pdf) 554 | 555 | - **Manipulating Time in Elm** (FR), par 556 | [Vincent Billey](http://twitter.com/Fenntasy). 557 | [Vidéo](https://www.youtube.com/watch?v=kCsHayhYgZY) - [Support](http://vincent.billey.me/talks/2017-02-23-manipulating-time-in-elm/#1) 558 | 559 | 560 | 561 | 562 | ## LilleFP2 >< Lille |> Elixir 563 | 564 | 2016-11-28 19:00:00 565 | à [Dernier Cri](http://derniercri.io) 566 | (_16 Place du général de gaulle (5ème étage)_) 567 | 568 | **Lien de l'événement:** [Meetup](https://www.meetup.com/LambdaLille/events/235757320/) 569 | 570 | - **Elixir is not Ruby** (FR), par 571 | [Thomas Gautier](https://twitter.com/aryko). 572 | [Vidéo](https://www.youtube.com/watch?v=lu9t-TJa5cw) - [Support](https://tgautier.github.io/slides/#/) 573 | 574 | - **Typesafe routing for Single Page App** (FR), par 575 | [Xavier Van de Woestyne](https://twitter.com/vdwxv). 576 | [Vidéo](https://www.youtube.com/watch?v=6GtpwlVuwQY) - [Support](http://xvw.github.io/talks/lillefp2/slides.pdf) 577 | 578 | 579 | 580 | 581 | ## LilleFP1 - parlons fonctionnel 582 | 583 | 2016-07-12 19:30:00 584 | à [Dernier Cri](http://derniercri.io) 585 | (_16 Place du général de gaulle (5ème étage)_) 586 | 587 | **Lien de l'événement:** [Meetup](https://www.meetup.com/fr-FR/Lille-FP/events/226004908/) 588 | 589 | - **Faire de la programmation fonctionnelle en JavaScript** (FR), par 590 | [Vincent Billey](http://twitter.com/Fenntasy). 591 | [Vidéo](https://www.youtube.com/watch?v=KtdacF5xSWQ) - [Support](http://vincent.billey.me/talks/2016-07-11-you-can-do-fp-in-javascript/#1) 592 | 593 | - **Présentation du Mooc OCaml** (FR), par 594 | [Paul Laforgue](https://twitter.com/lowphink). 595 | 596 | 597 | - **Asynchronisme et Scala** (FR), par 598 | [Jules Ivanic](https://twitter.com/guizmaii). 599 | 600 | 601 | - **Elixir: Do we just follow the hype?** (FR), par 602 | [Kevin Disneur](https://twitter.com/kdisneur). 603 | [Vidéo](https://www.youtube.com/watch?v=mO75g9TFTRQ) - [Support](http://slides.com/kevindisneur/why-elixir#/) 604 | 605 | 606 | 607 | --------------------------------------------------------------------------------