Data Science in Haskell: Solutions and Challenges

Featuring Tom Nielsen

Data science has emerged as "the sexiest job of the 21st century" - but can existing data science infrastructure and ecosystems live up to that title? Many data scientists use dynamically typed languages such as Python, or R. In the Haskell community, you know that functional...

Change in an Immutable World – Taming IO, ST, and the Demons of Unsafety

Featuring David Luposchainsky

In Haskell, everything is immutable – yet you can print to the terminal, read files, and mutate arrays in place. There are many myths about the apparent type system breakouts and compiler hacks necessary to reconcile these principles. But as it turns out, the concepts are not contradictory at...

Keynote: Category Theory in Life

Featuring Dr Eugenia Cheng

Category theory can be thought of as being "very abstract algebra". It is thought of as "too abstract" by some people, and as "abstract nonsense" by some others. In this talk, you will discover that while it is abstract, it is far from being nonsense. Eugenia will...

Keynote: Compiling without Continuations

Featuring Simon Peyton Jones

GHC compiles Haskell via Core, a tiny intermediate language based closely on the lambda calculus. Almost all GHC’s optimisations happen in Core, but until recently there was an important kind of optimisation that Core really did not handle well. In this talk, you will learn what the problem was,...

2

Workshop: Advanced Haskell Development with Nix

Featuring Peter Simons and Bas van Dijk

Individualisation of Extensible Workflows

Featuring Arie Middelkoop

Imagine you have many small customers with a common problem that can be solved by utilizing a workflow system. This opens a market for a common solution in the form of a process description. However, as customers usually have significant differences in their requirements, the capturing of data...

Fast XML Parsing with Haskell

Featuring Neil Mitchell

Haskell has lots of XML parsing libraries, implemented using different techniques, and offering different levels of performance. In this talk, you will learn why, until recently, even the fastest of these libraries was embarrassingly slow compared to state-of-the-art XML parsers. Neil will share...

Lightning Talk: Dependent Maps

Featuring Will Jones

Sometimes you want something a bit more strongly-typed than Haskell's traditional Map and HashMap types. In this talk, you will explore a variety of increasingly-abusive solutions to try and maximise typing whilst minimising boilerplate.

Lightning Talk: Our Tools for Mobile Haskell Games and Apps

Featuring Ivan Perez

In this talk, you will learn about the toolchain we use at Keera Studios to create games and mobile apps.

Algebraic Graphs

Featuring Andrey Mokhov

Are you tired of fiddling with sets of vertices and edges when working with graphs? Would you like to have a simple tree-like data type for representing graphs and manipulating them using familiar functional programming abstractions? In this talk, you will learn a new way of thinking about graphs...