Live Coding a Roguelike Game

Featuring Michał J. Gajda

Michal J Gajda shares a simple way to do live coding and event sourcing for the development of a game using Haskell. This method is the product of a long effort to reduce the effort and complexity of debugging and writing interactive software, and it is recommended for all Haskell beginners!

software-development event-sourcing game-development roguelike haskell

How We Haskell: Enterprise Edition

Featuring Trevis Elser

For teams using Haskell in enterprise, the story doesn't stop at adoption. This talk looks at questions these teams may face: What choices are being made to facilitate mainstream development? What are the pain points? What tools are used? Do enterprise organizations expect things that are...

software-development haskell-ecosystem haskell

Haskell and Category Theory at Vodafone

Featuring Rob Harrison

We're using Haskell to revolutionise Vodafone's invoice verification and saving millions of Euros in the process. We use parallel and auto-scaling infrastructure to deliver results quicker and more importantly safer.

software-development haskell financial-transcations safety haskell-in-industry category-theory auto-scaling parallel-processing

How We Haskell: Enterprise Edition

Featuring Trevis Elser

For teams using Haskell in enterprise, the story doesn't stop at adoption. This talk looks at questions these teams may face: What choices are being made to facilitate mainstream development? What are the pain points? What tools are used? Do enterprise organizations expect things that are...

software-development haskell-ecosystem haskell

How to Design a Variadic Non-Empty List Constructor

Featuring Lyle Kopnicky

At TripShot, we felt that the usual way of constructing non-empty lists was asymmetrical and awkward. I set out to create one that could take a variable number of arguments.

software-development non-empty-lists haskell

How to Design a Variadic Non-Empty List Constructor

Featuring Lyle Kopnicky

At TripShot, we felt that the usual way of constructing non-empty lists was asymmetrical and awkward. I set out to create one that could take a variable number of arguments.

software-development non-empty-lists haskell

Should I Build My Project with rules_haskell?

Featuring Georgi Lyubenov

Has your project outgrown cabal-install or stack? Do your Haskell builds need precise integration with other build systems? Learn when rules_haskell might be the right choice for you.

software-development build-system bazel haskell

Just Because It Works Doesn't Mean It's Right: Finding Elegance in Quadtrees

Featuring Sandy Maguire

Quadtrees are well-known containers for spatial data, but little attention has been given to them in a functional setting. In this talk we will explore the design space of quadtrees and find reusable techniques to discover elegance, in both their design and implementation.

software-development quadtrees haskell

Clash: Haskell for FPGA Design: It's easy as 1-2-3...419,200

Featuring Gergő Érdi

FPGAs can bring the versatility of custom chip design to the desktop of the hobbyist. But what does it look like to actually make something fun out of an FPGA, and how can Haskell help with that?

In this talk, we'll find out what an FPGA even is, and then learn just enough Clash to build, in...

clash fpga software-development haskell

Clash: Haskell for FPGA Design: It's easy as 1-2-3...419,200

Featuring Gergő Érdi

FPGAs can bring the versatility of custom chip design to the desktop of the hobbyist. But what does it look like to actually make something fun out of an FPGA, and how can Haskell help with that?

In this talk, we'll find out what an FPGA even is, and then learn just enough Clash to build, in...

clash fpga software-development haskell

Sharing is Caring? Comparing Ownership in Haskell and Rust

Featuring Edsko de Vries

software-development ownership haskell rust

Sharing is Caring? Comparing ownership in Haskell and Rust

Featuring Edsko de Vries

ownership haskell rust

Simplify Distributed Persistent Processes (Workflows) with a Monadic DSL (Inspiration from Unix Processes)

Featuring Rahul Korthiwada

Workflow monad is an enhanced state monad that also abstracts out what needs to be persisted between every step and the logic that needs to be used to skip a step on a retry of the workflow. At Juspay, they believe that the workflow monad can provide a common framework for any workflow across...

software-development monads workflow-monad haskell

Unlocking Your Company’s Innovation Potential Using Workflow Monad

Featuring Rahul Korthiwada

Workflow monad is an enhanced state monad that also abstracts out what needs to be persisted between every step and the logic that needs to be used to skip a step on a retry of the workflow. At Juspay, they believe that the workflow monad can provide a common framework for any workflow across...

software-development monads workflow-monad haskell

Just Because It Works Doesn't Mean It's Right: Finding Elegance in Quadtrees

Featuring Sandy Maguire

Quadtrees are well-known containers for spatial data, but little attention has been given to them in a functional setting. In this talk we will explore the design space of quadtrees and find reusable techniques to discover elegance, in both their design and implementation.

software-development quadtrees haskell

Glean: Data About Code

Featuring Simon Marlow

What if accurate semantic information about your code was available through a rich query language that produced results in milliseconds? And what if that worked at scale, so that you had information not just about the files you're working on, but the entire stack in which your code lives? At...

software-development data-query-language rocksdb data glean haskell

Glean: Data About Code

Featuring Simon Marlow

What if accurate semantic information about your code was available through a rich query language that produced results in milliseconds? And what if that worked at scale, so that you had information not just about the files you're working on, but the entire stack in which your code lives? At...

software-development rocksdb data-query-language glean haskell

How to do Property-based Testing Shrinkers Right

Featuring Martin Janiczek

Property-based testing (PBT) is a valuable tool in the functional programming world: it generates test inputs for you (finding tricky edge cases you wouldn't be able to find manually) and lets you specify and verify laws and invariants about your code with ease. Virtually all PBT tools...

software-development property-based-testing haskell

Fall-from-Grace: A Typed and Programmable Superset of JSON

Featuring Gabriella Gonzalez

Fall-from-Grace is a functional programming language project designed to be easy for others to fork to build their own domain-specific languages. This talk gives a tour of the language's features and concludes with a demo web application that compiles Grace functions to interactive web forms....

json software-development haskell

How to do Property-based Testing Shrinkers Right

Featuring Martin Janiczek

Property-based testing (PBT) is a valuable tool in the functional programming world: it generates test inputs for you (finding tricky edge cases you wouldn't be able to find manually) and lets you specify and verify laws and invariants about your code with ease. Virtually all PBT tools...

software-development property-based-testing haskell