Don Syme
Speaker: Don Syme, Microsoft Research
Don joined Microsoft Researchexternal link, opens in new window in 1998.
Dons recently research has revolved around Common IL and the Microsoft .NET Framework,external link, opens in new window and in particular the Microsoft .NET Common Language Runtime.external link, opens in new window Some of the projectsexternal link, opens in new window that Don is involved in at Microsoft Research in Cambridge:
- The design and implementation of support for Genericsexternal link, opens in new window in C#, the CLR, Visual Basic and other languages. This feature is now in the process of being released as part of the Visual Studio 2005 (aka "Whidbey") family of products and specifications. For example you can download and use generics in Visual C# 2005 Express.
- The design and implementation of F#external link, opens in new window, a compiler for a .NET functional programming language akin to the core language of OCamlexternal link, opens in new window. This is the first functional programming language implementation where other languages can directly access the constructs defined in the functional language in an intuitive and straight-forward way, i.e. a language with bi-directional interoperability. The language demonstrates how mixed imperative/functional programming can be smoothly integrated into the .NET programming landscape, and is also a fantastically productive language to program in! You can read more about F# on Don's blog.external link, opens in new window
Seminar: Type-safe, scalable, efficient scripting on .NET
Level: Intermediate
Can we reconcile type safety with interactive scripting, performance with succinctness, functional programming with object-oriented?  The aim of the F# project is to show this is possible. This talk will present the design of F#, a type-safe multi-paradigm language from Microsoft Research used in a range of areas including simulation and data-intensive analysis applications. With a core based on ML, F# combines the effectiveness of scriptable functional programming with the strengths of the .NET platform, and is remarkable among functional languages for the range of object-oriented and dynamic techniques it supports. We will demonstrate this by example, and conclude with a look at current developments in dynamic and static techniques and the ongoing challenges in combining the best of these worlds.
Sun Microsystem
Telephone: +46-(0)40-602 3295, email: