Haskell IDE Support via LSP

Featuring Alan Zimmerman

haskell-ide-engine lsp haskellx haskell

Keynote: How to Deploy your Haskell Code Hundreds of Times a Day

Featuring Simon Marlow

Facebook's Sigma system is a Haskell platform used by many different teams, mainly (but not exclusively) for fighting abuse on Facebook. One of Sigma's key features is that code committed to its repository automatically gets deployed to the running servers.

keynote sigma-system haskellx haskell

Haskell SpriteKit — A Purely Functional API for a Stateful Animation System & Physics Engine

Featuring Manuel M T Chakravarty

Graphics, animation, and games programming in Haskell faces a dilemma. You can either use existing frameworks with their highly imperative APIs (such as OpenGL, Cocos2D, or SpriteKit) or you waste a lot of energy trying to re-engineer those rather complex systems from scratch. Or, maybe, you can...

haskell frameworks bindings spritekit physics animation games

Building a Multi-Billion Dollar Cryptocurrency with Haskell

Featuring Duncan Coutts

This talk is an experience report on the development and operation of a top-10 open blockchain cryptocurrency written in Haskell.

haskellx cryptocurrency blockchain haskell

Raytracing with Haskell

Featuring Michał Kawalec

Understanding the performance of Haskell code is often an important factor for success in many applications.

haskell 3d-graphics ghc memory performance

Binding Types à la carte

Featuring Arnaud Spiwack

Imagine you want to write a data type for an abstract syntax tree with binders. You get started, write a function for substitution. Get lost in the renaming story.

haskell quantified-constraints category-theory algebraic-data-types binders abstract-syntax-trees

Labelled Algebraic Graphs

Featuring Andrey Mokhov

haskell haskellx functional-programming graphs algebraic-graphs

Elegant Geometry with Denotational Design

Featuring David Eichmann

This talk will explore the application of denotational design to geometry and how it leads to elegant implementation.

haskellx haskell geometry denotational-design

Building a Program from Streams

Featuring Tim Williams

The seminal paper "Why Functional Programming Matters" (Hughes, 1990) demonstrated that better modularity and abstraction can often be achieved by structuring software components in terms of producers and consumers, utilising lazy evaluation and higher-order functions in a pure context....

functional-programming haskellx haskell

Authenticated Data Structures, Generically, in Haskell

Featuring Lars Brünjes

"An authenticated data structure (ADS) is a data structure whose operations can be carried out by an untrusted prover, the results of which a verifier can efficiently check as authentic." (Andrew Miller et al.)

haskell data-structures free-monads cryptographic-hash-function interpreters-for-free-monads authenticated-data-structures