Sites Inria

English version

Séminaire des équipes de recherche

Tout réussir en répétant beaucoup

© INRIA Sophie Auvin - G comme Grille

Dans cet exposé je vais vous montrer comment implémenter un effet de non-déterminisme angélique (par exemple l'opérateur `amb`) directement en OCaml , en utilisant seulement de l'état modifiable et des exceptions. Cette implémentation peut s'étendre pour obtenir les continuations délimitées. 

  • Date : 22/05/2018
  • Lieu : Inria de Paris- 2 rue Simone Iff- 75012 - 10h30
  • Intervenant(s) : Gabriel Scherer, Inria Saclay

Il n'est pas nécessaire de connaître déjà le non-déterminisme ou les continuations pour suivre l'exposé, qui commencera (pour la culture) par un petit tour d'horizon des notions d'effet en langages de programmation: style direct et indirect, monades, la réflexion monadique de Filinski, et les "effect handlers" .

Mots-clés : Séminaire Gallium Inria de Paris Gabriel Scherer OCaml

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !