NET Pogramming Language Research @ MSR Cambridge Nick.ppt

.NET Programming Language Research @ MSR Cambridge Nick Benton Microsoft Research Cambridge MSR Cambridge Programming Principles and Tools Group Luca Cardelli Nick Benton Cedric Fournet Andy Gordon Tony Hoare Andrew Kennedy Simon Peyton Jones Don Syme Simon Marlow Claudio Russo Mark Shields + visitors, PhD students, interns,… .NET in MSR Programming Principles and Tools Group Verifier spec (POPL) CLR design feedback Project 7 (Babel) SML.NET (ICFP,ICFP,HOOTS) Generics for C# and .NET (PLDI) Extended IL (Babel) Polyphonic C# (FOOL, ECOOP) Stack-Walking Security analysis (POPL) Assertions Part 1SML.NET Nick Benton, Andrew Kennedy and Claudio Russo Advanced Programming Languages on the CLR .NET and the CLR provide a great opportunity for programming language designers and implementers: The runtime provides services (execution engine, garbage collection,…) which make producing a good implementation of your language easier The frameworks libraries mean you can actually do useful things with your new language (graphics, networking, database access, web services,…) Multi-language component-based programming makes it much more practical for other people to use your language in their own projects Our favourite language: Standard ML A safe, modular, strict, higher-order, functional, polymorphic programming language with compile-time type checking and type inference, garbage collection, exception handling, immutable data types, pattern-matching and updatable references, abstract data types, and parametric modules. with several efficient implementations and a formal definition with a proof of soundness. (Scheme+types+real syntax, Haskell with call by value evaluation) Some SML datatype order = LESS | GREATER | EQUAL datatype a Tree = Empty | Node of a * (a Tree) * (a Tree) fun contains compare (x, Empty) = false | contains compare (x, Node(v, left, right)) = (case compare (x,v) of LESS = contains compare (x,left) | GREATER = conta