QuickChecking Riak

Featuring John Hughes

In this talk John Hugh's shows us how QuickCheck helped us to model Riak’s behaviour, improving understanding and revealing the occasional bug.

functional-programming riak nosql low-latency concurrency erlang fpx

Park Bench Panel at #FPX

Join the #FPX Park Bench Panel to debate the day's talks with the experts and delegates. Have an opinion? Come share it and take the place of a panellist!

functional-programming f# scala clojure lisp haskell ocaml erlang

My other operating system is a Mirage

Featuring Anil Madhavapeddy

In this talk Anil introduces a different approach to building networked services which cleanly separates policy and mechanisms, an approach which results in an extremely efficient deployment model that outputs standalone kernels straight from OCaml source code

functional-programming ocaml webserver hypervisor cloud type-safety

Railway Oriented Programming

Featuring Scott Wlaschin

Join Scott Wlaschin who will explain how to create robust real world applications in a clean functional way through the analogy of the railway!

functional-programming fpx

Teaching an old dog new tricks: wrapping an imperative API in a functional one

Featuring Chris Marshall

Not so much "standing on the shoulders of giants" as skulking behind them with a notebook and a pen, this talk will demonstrate the construction of a functional Scala DSL to interact with a bespoke Java data source API using a real-life case study.

functional-programming applicative-functor applicative io java fpx

Data Science using Functional Programming

Featuring Amanda Laucher

Functional Programming has had it's 15 minutes of fame - again. Now it's data's turn - again. Obviously the best way to stop this cycle is to merge the two. Let's put functional concepts into the database!

functional-programming neo4j graph-theory database persistence nosql

Build Your Own Lisp for Great Justice

Featuring Bodil Stokke

Implementing a toy Lisp interpreter is practically a rite of passage for the budding computer scientist. This hallowed tradition is described in detail in "Lisp in Small Pieces," the seminal work on the making of Lisps, but everybody loves a tl;dr, so let's do the 40 minute...

functional-programming lisp clojure lambda lexical-scope types fpx

ParaForming: Forming Parallel Functional Programs using Refactoring

Featuring Kevin Hammond

This talk introduces the ParaForming approach, gives some examples and shows how effective parallel programs can be developed using advanced refactoring technology.

functional-programming data-parallel-haskell haskell fpx intel

A practical theory of language-integrated query

Featuring Philip Wadler

In this talk we present a practical theory of language-integrated query based on quotation and normalisation of quoted terms.

functional-programming linq bigdata sql f# scala haskell