Theorems for Free

Featuring Lars Hupel

We can extract a lot of information from type signatures. But how does it work? In this talk Lars Hupel will revisit Philip Wadler's influential (and very cool) paper "Theorems for free!".

haskell parametricity

Comparing Strict and Lazy

Featuring Arnaud Spiwack

Strict and lazy languages are often pitted against each other but rarely honestly compared. Let's take a step back from the slogans and examine the trade-offs between lazy and strict. Not which is best: how they compare.

haskell strict lazy

2

Smallpt-hs: Porting a Raytracer's Performance to Haskell

Featuring davean scies and Siddharth Bhat

Let's tune a Haskell program to be as fast as C! (1) Begin with smallpt, a 100 line C raytracer that we naively port to Haskell. (2) balk at the 5x performance slowdown. (3) Roll up our sleeves. (4) Performance parity!

haskell raytracer porting

Practical Property Testing

Featuring Tom Sydney Kerckhove

In this talk Tom Sydney Kerckhove discusses how to implement proper property testing in Haskell. It moves way beyond the classic toy examples and examined real-world scenarios, taking a deep-dive into how to make property tests interact with web services or database systems.

haskell testing

Stronger Types! : A Brief Introduction to Refinement Types and Dependent Types (Lightning Talk)

Featuring Eric Bond

Haskell is known for its strong static typing but there are even stronger typing disciplines: Refinement Types and Dependent Types. In this lightning talk Eric Bond offers a brief introduction to both.

haskell dependent-types refinement-types

Shpadoinkle User Interface Programming (Lightning Talk)

Featuring Isaac Shapira

Shpadoinkle is the simplest, easiest way to write a performant, maintainable web UI in Haskell. Learn how our growing community and ecosystem of tools can help you deliver exceptional user experiences.

haskell web ui

Performance Proposal: Rhythmr, Or Semi-Automated Audio Loops (Lightning Talk)

Featuring Greg Travis

Rhythmr is an interactive tool to create music from randomly selected audio loops. It presents combinations of loops, and you swipe left or right. As you continue, it improves its guesses to match your preferences.

haskell user-interaction optimization profiling graphics audio

Building a Web Library Using Super Hard Haskell

Featuring Marcin Rzeźnicki

Have you heard of the Simple Haskell initiative? They've got a point, right? Safety, simplicity, Haskell'98 with maybe some benign extensions. You better hear what you are missing and I'll tell you — you're missing a lot

haskell domain-modelling ghc-rewrite datakinds ffi library-design

Simplifying Constraint Solving in GHC

Featuring Richard Eisenberg

haskell type-checking

User Friendly Optics

Featuring Andrzej Rybczak

In this talk, Andrzej presents the optics library and discusses some key differences from the lens library that lead to better user experience. He'll also share how to use it to solve the "Haskell record problem" in a satisfactory way.

haskell optics library

Agile Functional Data Pipeline in Haskell: A Case Study of Multicloud API Binding

Featuring Michał Gajda

In this case study, Michał discusses making a data pipeline for multicloud API bindings in Haskell for analysis and Python for scraping. He'll introduce a few rules settled on along the way that allow for blinding fast development of agile data analytics.

haskell data-analytics case-study python api-binding multicloud

Typecheck Your Memory Management with Linear Types

Featuring Facundo Domínguez

Join Facundo Domínguez as he discusses using the new language extension LinearTypes to safely manage references to foreign objects/values when integrating Haskell with other languages.

java haskell linear-types memory-management

Smash you some Haskell on a Minikube

Featuring Mateusz Curylo

To get good performance for your Haskell microservice on Kubernetes you need the correct deployment, compiler and runtime configuration. Rational thinking is not good enough here, so let us empirically test it out.

haskell runtimes kubernetes microservice

Winter is Coming – Even Faster

Featuring Joachim Breitner

Winter is a WebAssembly interpreter. It was too slow for my use-case, so this is the tale of how I made it 700 faster, with 7 different optimizations.

haskell optimisation webassembly

The Launch of the Haskell Foundation

Featuring Simon Peyton Jones

In this very special talk Simon Peyton Jones will announce the launch of the Haskell Foundation, an independent, non-profit organisation dedicated to broadening the adoption of Haskell, by supporting its ecosystem of tools, libraries, education, and research.

nonprofit-technology haskell

Strategic Domain-Driven Design Tools For Non-DDD People

Featuring Nick Tune

Domain-Driven Design has a reputation for being hard to grasp for newcomers. In this session Nick Tune will introduce several open-source tools that even people with no prior DDD experience can utilise to create a loosely-coupled architecture.

architecture strategic-ddd ddd domain-driven-design

Lean Code: How to Code Efficiently

Featuring Joan Anagbla

code quality lean clean

F# for a Real World E-commerce Project

Featuring Mikhail Smal

Is F# fit for for business applications? In this session Mikhail Smal will share how he convinced his e-commerce organisation to successfully transition from C# and JavaScript to full tilt F#.

f# e-commerce javascript c#

Rethinking Bioinformatic Algorithms Using F#

Featuring Jamie Dixon

In this talk Jamie Dixon addresses two problems in biomedical research — reproducibility & complexity — by looking at basic implementation of pattern matching DNA/RNA sequences using traditional code constructs and then reimplementing them using F#.

f# reproducible-research rna dna bioinformatics

Declarative, Concise Implementation of a Rule-based Dialog System in F#

Featuring Allister Beharry

In this talk Allister Beharry offers an overview of Selma — a Web-based multimodal dialog agent for healthcare self-management written entirely in F# using WebSharper.

f# websharper selma