F# in Education Workshop

About F#

F# is simple, type safe, and efficient functional programming language with special expressiveness in parallel programming, scripting, and algorithmic development. F# combines the advantages of typed functional programming with a high-quality, well-supported modern runtime system and the .NET library and tools base. F# is freely available for .NET and Mono development across Windows, Mac, and Linux, and has a very successful professional implementation in Visual Studio 2010. To support teaching of F#, Microsoft Research is working in conjunction with the F# community to ensure a consistent learning experience across all three platforms.

This workshop discussed the projects underway for F# courseware, implementations, and compiler open-sourcing. The workshop welcomed participation from all academics interested in F# as a possible teaching language, as well as from those in industry wanting to know what it can offer for them. The program offered a variety of talks covering all areas of use and implementation of the language.

F# originates from Microsoft Research Lab – Cambridge and the Microsoft Research F# team, led by Don Syme, in partnership with the Microsoft Developer Division. The workshop was organized by the Computer Science theme at Microsoft Research Lab – Redmond, led by Judith Bishop.

Agenda

Thursday, November 4, 2010

19:00
Dinner at the Liberty Hotel

Friday, November 5, 2010

New England Research & Development (NERD) Center

08:00
Registration and full breakfast

09:00 – Keynote
Don Syme, Microsoft Research, Cambridge
F#: Succinct, Modern Functional Programming

10:30
Break

Implementations

11:00
Tomas Petricek, Charles University, Prague
Going cross-platform with F# MonoDevelop plugin

11:30
Joe Pamer, F# Core Team, Microsoft
F# from the Mac User’s Perspective

12:00
Dean Guo, Microsoft External Research
TryFSharp in a Browser

12:30
Lunch

Education

13:30
Rick Minerich, Microsoft MVP (F#) and Leader of the New England F# User’s Group
F# in the classroom and the lab

14:00
Peter Sestoft, IT University of Copenhagen
Programming Language Concepts using F# as a Meta-language

14:30 – Panel session
•Judith Bishop, Microsoft Research (Chair)
•Nigel Horspool, University of Victoria
•David Walker, Princeton University
•Susan Eisenbach, Imperial College, London
Why Teach F#

15:30
Break

The Future

15:45
Don Syme, Microsoft Research, Cambridge
Looking Ahead with F#: Taming the Data Deluge

17:00
Howard Mansell, CreditSuisse, New York
Locknote: F# – An Education

17:50
Judith Bishop, Microsoft Research
Closing remarks

18:00
End

19:00
Workshop dinner at the Liberty Hotel

Saturday, November 6, 2010

09:00–12:30
Project meeting by invitation

Videos