Vous pouvez vous abonner à nos annonces de séminaires
		    http://gallium.inria.fr/seminaires/

			     S E M I N A I R E
			   __
			  / _`  _   /  /  o
			 /   ) __) /  /  / /  / /\/|
			(___/ (_/ (_ (_ / (__/ /   |

			     I N R I A - Paris
                 2 rue Simone Iff (ou: 41 rue du Charolais)
                          Salle Lions 1, bâtiment C

                             MARDI 22 mai, 10h30

                               ---------------
                               Gabriel Scherer
                               ---------------

                                 Inria Saclay

                      =================================
                      Tout réussir en répétant beaucoup
                      =================================

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 !

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éflection
monadique de Filinski, et les "effect handlers".