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

Higher-Order Type-Level Programming

Featuring Csongor Kiss

Thanks to its myriad of extensions, GHC's type system has come a long way in offering a powerful language for expressing complex programs at the type-level.

type-level-programming haskell ghc types

Polysemy: Chasing Performance in Free Monads

Featuring Sandy Maguire

haskell monads

Lightning Talk: Why I No longer Use Haskell

Featuring Tom Nielsen

haskell functional-programmig

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

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

Well-Typed Communication Protocols

Featuring Duncan Coutts

Concurrency is still hard. Building distributed applications using message passing is still hard. Application-specific message passing protocols are often specified in an informal and ad-hoc way (if at all), with very little support from the programming language or tools. This sets things up for...

types state-machines message-passing network protocols distributed-systems haskell

Lightning Talk: Generating Castles for Minecraft™ using Haskell

Featuring Tim Williams

Tim has recently started playing Minecraft with his kids but quickly found himself wanting to generate larger structures using code.

lenses games dsl haskell monoids mindcraft

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

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