Functional Programming eXchange 2009

Topics covered at #

Monday, 7th December in London

6 experts spoke.


Skills Matter is pleased to organise the first annual Functional Programming eXchange. We hope to bring together the leading innovators in the Functional Programming community with the UK's enterprise developer community, for an informal day of deep technical insight, inspiration, innovation and friendly discussion.

Excited? Share it!

Thanks to our sponsors


Computation Abstraction

For a long time, and due to the lack of main FP concepts in most mainstream languages, we have missed opportunities for abstraction, code expressiveness and conciseness. With today's democratization of FP, Computational Abstraction is what will enable us to be less dependent on what specific programming language syntax may offer, creating libraries of control structures and composition forms that help find concise and expressive solutions for enterprise programming challenges

Sadek Drobi

Sadek Drobi is a software engineer specializing in design and implementation of enterprise applications with a particular focus on bridging the gap between the problem domain and the solution domain. Sadek also regularly contributes articles on InfoQ

Supercharged Rabbit: Resource Management at High Speed in Erlang

RabbitMQ has been written in Erlang since its conception, in summer 2006. Since then the Rabbits have been getting more reliable, more scalable and faster. Recently we have embarked on a large modification of Rabbit to address resource management issues and increase scalability. This talk will extol the virtues and otherwise of functional programming and writing in Erlang, along with the challenges we are addressing and how we're overcoming them.

Matthew Sackman

Matthew works for LShift Ltd in London as a senior developer. He is one of the core developers of RabbitMQ, working in everything from Erlang and Java to Shell and Make.

F# and Units-of-measure for Technical Computing

This talk is about F# and Units-of-measure for Technical Computing. F# (shipped in Visual Studio 2010) is a functional programming language that supports static checking and type inference for units-of-measure. Even in the simplest applications, units-of-measure can act as a valuable additional check for the correctness of the code.

I will start by giving an introduction to units-of-measure and their implementation in F#. I'll work through smaller and larger code examples that make use of units-of-measure. As a large application, I'll detail a wrapper for a mathematical programming and optimization toolbox (Microsoft Solver Foundation) that handles units-of-measure transparentl

Anton Schwaighofer

Anton Schwaighofer is working as an Applied Researcher at Microsoft Research Cambridge. His current area of focus is data analysis & machine learning, with applications to online advertising. He is a computer scientist by training, but moved on to wo

Parkbench Panel Discussion

Just after lunch, we'll hold the first ParkBench Panel discussion, led by Robert Pickering, to discuss ideas, stuff we learned during the morning and things we would like to hear more about. Delegates will not only be able to ask their questions to the speakers of the expert talks, but are also actively encouraged to join the panel to express their opinion or share their experience!

Functional Programming for Quantitative Modelling at Credit Suisse

Credit Suisse's Global Modelling and Analytics Group (GMAG) has been using functional programming in a number of guises for several years, starting with an in-house language built around Excel, then domain-specific languages and other code generation tools with Haskell and most recently using F# for the delivery of models and other software directly into production environments. This talk will discuss why Credit Suisse has adopted functional programming and the challenges and benefits that it has brought.

Ganesh Sittampalam

Ganesh works for Credit Suisse's Global Modelling and Analytics Group in London, developing tools and infrastructure for the bank's quantitative modellers, using both Haskell and F#. He also organises the London Haskell User Group and is a contributo

Strong Types and Pure Functions

This talk is about the software engineering benefits we can obtain by controlling side effects. By starting with pure functions and using types to mark actions with side effects we can build custom computational environments and have strong guarantees about what side effects are permitted and are not permitted. We will look at where these guarantees can help us, particularly in enforcing interface contracts.

Duncan Coutts

Duncan is a Haskell consultant, computer scientist and Haskell community member. He holds a PhD in computer science and has been using Haskell for nearly 20 years. He is a founding partner of Well-Typed LLP where he has spent over 10 years helping a variety of customers build applications in Haskell and making improvements to the Haskell toolchain.

Using combinators to tackle the HTML rendering problem

Rendering HTML that is dynamic and looks good the many browsers people use today is a tricky problem. In this presentation we’ll dig into one part of the WebSharper platform, a new product from IntelliFactory, that aims to tackle this problem by using a DSL/combinator approach.

Robert Pickering

Robert Pickering is a software engineer with an interested in using functional programming, particularly F#, to solve real world problems.


To discuss sponsorship opportunities please contact the team:

Thanks to our sponsors

Other Years