logologo
AideLoading...
Mardi 26 mars 2019, 19h00Passé
Conditions
sur inscription
Mars 2019
Mardi 26
19:00 - 22:00
Accessible aux handicapés auditifs
Accessible aux handicapés visuels
Accessible aux handicapés moteurs

Meetup Lille FP

LilleFP 13 : du Rust pour remplacer C++ et du typage statique à gogo
Mardi 26 mars 2019, 19h00Passé
Conditions
sur inscription

Incroyable, seulement 1 mois après l'édition précédente... LilleFP est de retour ! Comme toujours, Epitech Lille nous permet d'utiliser leurs locaux pour une session de folie !

Au programme, du Rust pour NodeJS et de l'utilisation illustrée de typage statique ! Comme l'édition précédente, on vous propose deux présentations et ensuite, le fameux verre de l'amitié LilleFP !

Sans plus attendre, je vous dévoile le programme de cette 13ème édition !

Créer vos modules natifs avec Rust - introduction à Neon-Bindings


par Thomas Haesslé -

https://twitter.com/Oteku

Si vous êtes développeur node.js vous vous confronterez tôt ou tard au développement d'addons natifs ... et à tout un lot de nouveaux problèmes : langage C++ en lui même, mais également API V8, build system ou dépendance aux versions de V8. Pourtant dès que vous avez besoins de multi-threading, d'accès aux ressources machine ou même simplement pour réutiliser des librairies existantes vous n'y coupez pas. Lors de ce talk vous découvriez comment le langage Rust grâce à Neon permet de rendre vos modules natifs "fast & safe", vous pourriez même prendre du plaisir à développer des modules natifs dorénavant

Thomas est CTO chez Cutii.io et enseignant à l'université de Lille.

Il code en javascript, ReasonML, OCaml et Rust... Mais il peut aussi longuement parler IA, Cloud ou robotique autour d'une bière durant le pot d'après événement, ou encore à la Capsule après le pot d'après événement ;)

Le XXIème siècle sera typé ou ne sera pas


Par Arnaud Bailly -

https://twitter.com/dr_c0d3

-

https://www.linkedin.com/in/arnaudbailly/

Cette session est une introduction au Développement Dirigé par les Types ou TDD (Type-Driven Development, a ne pas confondre avec l'"autre" TDD) et une réflexion sur ce que les types peuvent apporter la conception de logiciels.

Au travers d'exemples pratiques en Elm, Haskell et Idris, je me propose de montrer comment le fait pour un langage de posséder un système de types évolué facilite le travail du développeur et permet d'introduire de "nouvelles" techniques en sollicitant le compilateur : développement à "trou", test de propriétés et génération de tests, rendre "impossible" les états "indésirables", utilisation des types comme spécification, refactoring agressif dirigé par le compilateur...

Arnaud développe, et aide des équipes et des organisations à développer, des logiciels depuis environ 25 ans.


On espère vous voire très nombreux pour faire honneur à nos speakers. On se réjouit de vous voir le 26 ! See yah !

Tags
Meetup

À propos du lieu

Epitech
5/9 rue du Palais Rihour 59000 LILLE Lille
  • Nord
  • Hauts-de-France