|Seminar: Type-safe, scalable, efficient scripting on .NETLevel: IntermediateCan 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.