To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 14/06/02 - Paris - FR Vous pouvez maintenant vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E . ___ / _ _ / _ / / / \ / \ / / __| / |___ |_/ |_/ / |__ |_/ |_ ___ . / / ___ __ /_ _ / _/ /| /| _ __ __ _ _ / / / /_ / __| / / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Salle de conference du Bat 11 Vendredi 14 juin, 10h30 -------- Dom Syme -------- Microsoft Research, Cambridge ==================================== Over the hump from C# to F#/Caml.NET ==================================== The.NET Framework is Microsoft's recently released platform for software development. The framework is touted as a multi-language platform, supporting languages such as C#, Java and Visual Basic. Programming languages go to the heart of computer science in both industry and academia, and it is essential that new platforms such as the .NET Framework both live up to their claims to support a range of programming paradigms and also contain the innovations needed to boost programmer productivity. In this talk I'll discuss some of what we've been doing at Microsoft Research Cambridge to make multi-language programming more viable. Our major project has been to add support for generics to C# and the .NET Common Language Runtime by utilising the platform's dynamic code generation capabilities, a novel approach that has many advantages including cross-language support for parametric polymorphism. On the side I have implemented a lightweight functional language for .NET called F#, based on the design of core Caml, with the aim of working through issues related to cross-language interoperability for ML-like languages including sharing polymorphic code between languages. I will contrast F# to both OCaml and SML.NET.