He is a partner at fsharpWorks where he provides trainings and consulting services. Tomas recently submitted his PhD thesis at the University of Cambridge focused on context-aware programming, but his most recent writings also includes two essays try to understand programming through the perspective of philosophy of science.

This is not a sociological talk, so expect to see a number of concrete examples from the F# ecosystem! I’ll talk about F# 4.0, which has been a community-driven effort, open-source support for F#, the data-science libraries for F#, type providers and also a couple of tools that you’ll see later in the conference – including FAKE, Paket and Visual F# Power Tools.

Using examples from my own research in bioinformatics, I'll show how to use F# for data analysis using various type providers and other tools available in F#.

In this talk I'll look at data science tools in F# and how they simplify the life of a modern scientist, who heavily relies on data analytics. F# provides a unique way of integrating external data sources and tools into a single environment. This means that you can seamlessly access not only data, but also R statistical and visualization packages, all from a single environment. Compile-time static checking and rich interactive tooling gives you many of the standard tools known from software engineering, while keeping the explorative nature of simple scripting languages.

Riccardo believes in multi-paradigm programming to maximize the power of code and is the author of "Functional Concurrency in .NET” ; which, features how to develop highly-scalable systems in F# & C#.

Riccardo is an information systems and technology professional and architect specializing in software & systems development. He has over 20 years’ experience delivering cost-effective technology solutions in the competitive business environment.

You will leave with the skills needed to enhance your development skills for modern web applications, by adding a modern programming language to your “tool box”.

We will use the CQRS (Command Query Responsibility Segregation) pattern in an MVC Web project leveraging the power of Reactive Extension combined with the efficiency of SignalR for bi-directional communication between web servers and clients.

Once we've examined the basics, we’ll go on to take a look at one of the biggest problems faced by software developers: complexity. We’ll see how complexity can either be accidental or essential. We’ll see how expression oriented programming can help us avoid accidental complexity and help us crawl out of the tar pit.The examples will see will use F#, but the ideas will be applicable to any language that encourages the use of expressions rather than statements.

As a writer of code that all sounds awesome, and I want to know and understand (and i'm sure you do too) what those terms actually mean, and most importantly why we should care about them, What are their practical uses?. So, in this talk we are going to attempt to do just that. Failure is possible but the attempt is valuable. It's a lot to chew so make sure you had your tea/coffee.

Steffen is a very active part in the F# open source community and works on projects like FAKE - F# Make, Paket and fsharpx . He is a co-founder of the german .NET Online User Group and a co-lead of the .NET User Group Hamburg.

FAKE - F# Make is a build automation system with capabilities which are similar to make and rake . It is using an easy domain-specific language (DSL) which allows you to express your build logic in F#. The talk will show you how to set up basic build scripts with FAKE and gives you an overview about the possibilities. This talk is for every .NET developer that wants to get rid of the problems that come with XML build scripts.

15:30

Meta-Programming Madness with the Mixin Type Provider Ross McKinlay f# functional-programming type-providers metaprogramming Meta-Programming Madness with the Mixin Type Provider

Ross McKinlay Day 1, 17 Apr starts 15:30 (Track One) Watch now! The new Mixin type provider – which is not really a type provider at all in the traditional sense - leverages the existing type provider infrastructure and allows you to evaluate compile-time F# metaprograms. These metaprograms, with the help of a compositional code generation DSL, produce F# code that is then compiled into assemblies. In this manner, we can write idiomatic style F# and easily produce everything from [<Literal>] values to feed other type providers, to record types and discriminated unions, even computation expressions and other type providers! Powering these metaprograms with existing erasing type providers and F# libraries, then bringing everything together within the standard F# compilation pipeline, the Mixin provider delivers a powerful code generation story for F#. Plus, the code generation DSL is called SquirrelMix, which should be enough to warrant you coming to this talk on its own. f# functional-programming type-providers metaprogramming About the speaker... Ross McKinlay ×