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 Lundi 14 mars, 10h30 ---------------- Jacques Garrigue ---------------- Université de Nagoya ================================================== Modular implicits for OCaml, how to assert success ================================================== Bour, White and Yallop proposed Modular implicits, which adapt Scala's implicits to the OCaml language. They allow many idioms, including Haskell-style type classes. The central idea is to register some modules and functors as implicit, and then retrieve them by matching their signature. In this approach, a solution is a module path, which may contain functor applications. The generality of the problem, and the need to reject ambiguous cases, make implicit search incomplete. This is why we have been looking for a clear criterion to separate success from failure. This is joint work with Frédéric Bour.