Want to find out ways you can use types as part of a domain driven process? With real world examples in F#, come along to this no jargon, no maths, no prior F# experience necessary event.

Statically typed functional programming languages like F# encourage a very different way of thinking about types. The type system is your friend, not an annoyance, and can be used in many ways that might not be familiar to OO programmers.

Types can be used to represent the domain in a fine-grained, self documenting way. And in many cases, types can even be used to encode business rules so that you literally cannot create incorrect code. You can then use the static type checking almost as an instant unit test — making sure that your code is correct at compile time.

Crypto Currencies, such as Bitcoin, Litecoin & Dogecoin, have created quite a buzz over the past few years. But how these mysterious decentralized payment systems work often feels shrouded in mystery. This tutorial will give users a detailed view of how these peer to peer networks work by looking at the implementation of a library for working with crypro currencies written in F#. It'll also show users how this library can be used to listen in the messages flowing over these peer to peer payment networks and create various analytics from the data found there.

FAKE - F# Make is an open source, cross platform build automation system. Due to its integration in F#, all benefits of the .NET Framework and functional programming can be used, including the extensive class library, powerful debuggers and integrated development environments like Visual Studio or Xamarin Studio, which provide syntax highlighting and code completion. FAKE’s syntax was designed to be succinct, typed, declarative, extensible and easy to use. In this talk you will learn to write FAKE scripts and see how you can integrate such scripts into your existing continuous integration infrastructure.

Machine Learning and Data Science are red-hot topics right now. Practitioners routinely use a wide range of tools, from Python to R or Hadoop, and yet, C# is conspicuously absent from that arsenal. Does this mean .NET is not suitable for this domain? In this talk, I'll explain why I think it can be, as long as you use the right language for the job, namely F#. F# is a functional first language, with a concise and expressive syntax that will feel familiar to data scientists used to Python or Matlab. It combines the performance and maintenability benefits of statically typed languages, with the flexibility of Type Providers, a unique mechanism that enables the seamless consumption of virtually any datasources. And as a first-class .NET citizen, it interops smoothly with C#. So if you are interested in a language that can handle both flexible data exploration, and the pressure of a real production system, come check out what F# has to offer!

When designing software, we often need to solve numerous instances of the same problem. When designing user interfaces, we need to describe the layout and interaction. For financial systems, we need to describe a wide range of financial contracts or, for example, recognize different patterns in price change.

Domain Specific Languages (DSLs) give us a way to solve such repeating problems. By designing a composable functional library, we can build an expressive language to describe our problem. Using the flexible F# syntax, we can get code that even non-programmers can understand.

In this talk, we'll demonstrate how to develop DSLs in practice, using a variety of samples, and ending with realistic examples. We'll cover both basic principles of DSL design, as well as advanced tricks such as using the F# 3.0 query syntax.

F# has proven very efficient to implement Domain Driven Design and Event Sourcing, using it in production for more that a year now.

We will see how to craft a very clean Domain benefiting from the functional nature of Event Sourcing and the terseness of the language, and how to integrate with the Event Store.

The presentation will also give insight on how to implement event sourcing with other languages, platforms and storages, no prior knowledge about F# or functional programming is required.

Asynchronous programming is the key to writing efficient and scalable server-side code in .NET as well as to writing user interfaces that do not hang while waiting for a response from a web service. Moreover, F# comes with support for the powerful programming model based on agent-based concurrency, which has been popularized by Erlang and runs every time you use your mobile internet connection.

In this workshop, we're going to use asynchronous workflows and agents to implement a simple web-based chat server. Along the way, you'll learn how to use the asynchronous programming model in practice and how to write agents and how to communicate between agents.

More soon!