Lightning Talk: Making and Testing Code Generators in Haskell

Featuring Michał Gajda

Michał and the Migamake Pte Ltd team are currently making an open source library to help produce code generators in Haskell. It facilitates generating code with syntax-checked templates and unit testing with smaller and more robust tests Michał will go through code generation approaches seen in...

haskell generators

Fixing Haskell Records

Featuring Neil Mitchell

Sadly, Haskell records aren’t very good - problems include that field names must be unique and that record updates are not very expressive. A variety of solutions have been proposed over many decades, but none has gained traction. The closest answer Haskell has is the lens library, which famously...

records haskell daml

Keynote: Revisiting Pattern Match Overlap Checks

Featuring Simon Peyton Jones

How hard can it be to spot missing or overlapping patterns in a Haskell function definition? Surely it’s the least we can expect from a decent compiler? But when you mix in GADTs, pattern guards, view patterns, data families, strict data constructors, and pattern synonyms, matters get...

pattern-matching refactored-implementation gadt ghc haskell

2

Lightning Talk: Manufacturing Circuit Boards with Robots and Haskell

Featuring Oliver Charles and Andrew Seddon

Oliver and Andrew will demonstrate the use of Haskell to control industrial robots in a real-world manufacturing environment. They will also show that Haskell can be used to interact with the state-of-the-art general-purpose planning library "Fast Downward" to find optimal plans for...

haskell realworld-haskell planning robots

Polysemy: Chasing Performance in Free Monads

Featuring Sandy Maguire

haskell monads

GHC Runtime Linker by Example

Featuring Artem Pyanykh

Linkers are one of the least understood yet widely used software components. GHC, unlike many other projects, has its own rather complex linking facilities in the runtime system that among other things power our beloved GHCi. And while having a custom linker has its benefits there are also...

haskell runtime linker compiler ghc

Build Systems à la Carte

Featuring Andrey Mokhov

Build systems are used by every developer around the world but are rarely the object of study.

shake bazel dune nix haskell build-systems

A Type-ical Case Study: The Sound Type-Indexed Type Checker

Featuring Richard Eisenberg

This talk will be an exploration of an implementation of a simply-typed λ-calculus using lots of Haskell's fancy types: only well-typed terms can be represented.

haskell well-typed types

Functional Lenses Through a Practical Lens

Featuring Sara Fransson

In the greater Haskell ecosystem, as well as in various industry codebases, libraries sometimes provide lens based APIs. One of the great promises of lenses is to make it easy and smooth to work with Haskell's immutable data structures.

optics lenses haskell

Principled Testing of Functional Reactive Systems

Featuring Henrik Nilsson

In pure functional programming, testing is greatly facilitated thanks to referential transparency guaranteeing exact reproducibility. Principled techniques such as property based testing have proved to be particularly effective. However, once you get to whole programs or entire systems, nothing...

full-reproducibility cross-platform-testing-frameworks property-based-testing frp functional-reactive-programming haskell