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

Si ta bonne résolution 2020 est d'apprendre de nouvelles choses ou de rencontrer et discuter avec des gens intéressés par la programmation (fonctionnelle mais pas que), peu importe ton niveau, alors inscris-toi vite au prochain Lambda Lille ;-)

Au menu de ce premier Meetup 2020 (détails en-dessous) :

• Entrée : quickie de Mathieu Besancon sur la Differentiation Algorithmique. Oui, le titre fait peur, mais Mathieu va nous rendre tout ça accessible :D
• Plat principal : talk de Didier Plaindoux sur la compilation d'un langage fonctionnel. C'est pour tout public (pas besoin d'etre Bac +12 en Théorie des Compilateurs), pas de panique !
• Dessert : pot pour discuter/échanger/débattre/partager sur tout et n'importe quoi (des fois on parle même de programmation)

---------------
Différentiation algorithmique pour les développeurs

Si un paramètre d'entrée précis d'un programme varie légèrement, à quel point le résultat sera affecté ?
Développée dans les premières décennies de la programmation scientifique, la différentiation algorithmique/automatique est récemment devenue une technique de référence pour répondre à cette question. Elle permet de déduire la sensibilité d'un programme aux variations de certains de ses paramètres sans exécuter le programme de multiples fois. Nous verrons les deux modes de différentiation algorithmique et des exemples d'implémentation dans des langages dynamiquement et statiquement typés.

Mathieu est doctorant en projet entre INRIA Lille et Polytechnique Montréal et travaille sur le développement de modèles d'optimisation et de décision dans les smart grids. Avant son doctorat, Mathieu a travaillé comme développeur back-end & data scientist chez Equisense à Euratech. Il développe souvent en Julia, parfois en Python, a travaillé avec Go, R et joue parfois avec Rust.
Son site web : http://matbesancon.github.io/

Étude et compilation d'un langage fonctionnel

Durant cette session je vous propose d'explorer :

• la définition d'un mini langage fonctionnel,
• l'analyse lexicale par le biais de parsers combinateurs,
• les indices de De Bruijn et la transformation d'AST et
• la machine abstraite ZINC et la compilation vers le code objet.
  ​
  Tout cela est proposé en Javascript, ce qui nous permettra au final
  d'embarquer ce langage dans des applications pour le Web.
  ​
  Tout ceci est un prétexte pour discuter de la programmation fonctionnelle et de la compilation associée.

Développeur indépendant, je participe à l'élaboration d'applications utilisables et utilisées.
En parallèle, il m'arrive d'étudier et concevoir des langages typés fonctionnels, objets et logiques.
Thèmes : Théorie des Langages, Applications Mobiles, Cloud Computing, Grid Computing, acteurs et calcul distribué.