2 DAY CONFERENCE

Haskell eXchange 2019

Topics covered at #haskellx

Thursday, 10th - Friday, 11th October in London

37 experts spoke.

Overview

Back for its eighth instalment, Haskell eXchange is an annual conference created for, and by, the Skills Matter community. An opportunity for Haskellers to meet, learn and share skills, discover emerging technologies and help evolve the Haskell ecosystem. Everyone is welcome to join, whether you are an expert, a beginner, a commercial user, an academic or a hobbyist, we'd love it if you join us this year at the Haskell eXchange!


A 2 day conference on everything Haskell

We are very proud to announce that Simon Peyton Jones, Philip Wadler and Gabriele Keller will be sharing a Keynote talk at Haskell eXchange 2019!

We're looking forward to learning from these Haskell eXchange experts and we hope you are too! Check out the latest updates to the line-up on our programme for all updates on our line-up!

View all confirmed talks so far →


Call For Papers is now CLOSED

Thanks for submitting a proposal, the response's been overwhelming and we are currently working on selecting talks. Click here to stay up to date and find out more on speakers as we'll start publishing the line-up very soon!

Haskell eXchange 2019 Diversity Scholarship Plan

The Haskell eXchange 2019 Diversity Scholarship Plan is now closed, thank you to all those who applied, and please feel free to apply again next year.

Volunteer

Get a free ticket in exchange for some help setting up the conference and a few hours on the days of the conference.

More information here


Code of Conduct

We are committed to providing a friendly, safe and welcoming environment for all. Learn more in our Code of Conduct.



Tickets

Payment by major credit/debit cards, PayPal & Bank Transfer is accepted.

Book Now →

Programme

Learn more about the expert speakers and topics.

View The Programme →

Watch Last Year's Talks

View free SkillsCast recordings of last year's talks.

View SkillsCasts →



Excited? Share it!

Thanks to our sponsors

Programme

Day 1: Thursday 10th October

Don't miss these amazing talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast

09:00

Welcome to Haskell eXchange 2019 - Day 1

09:15

Keynote: Revisiting Pattern Match Overlap Checks

Simon Peyton Jones

All levels


pattern-matching refactored-implementation gadt ghc haskell
10:15

Tea & Coffee Break

10:30

Higher-Order Type-Level Programming

Csongor Kiss

Advanced


type-level-programming haskell ghc types

Stick to Simple Haskell

Marco Sampellegrini

Beginner


haskell types type-level ghc

GHC Runtime Linker by Example

Artem Pyanykh

Beginner


haskell runtime linker compiler ghc
11:15

Tea & Coffee Break

11:30

Build Systems à la Carte

Andrey Mokhov

Advanced


shake bazel dune nix haskell build-systems

Functional Lenses Through a Practical Lens

Sara Fransson

All levels


optics lenses haskell

Automating Elaborate-Transform-Load for Busy Data Scientists

Michał Gajda

Advanced


data haskell parsing csv etl metadata ingest xml json bigdata analytics datascience
12:15

Lunch

13:15

The Scope of Algebraic Effects

Nicolas Wu

Advanced


haskell effect-handlers free-monad

This Ain't Your Daddy's Probability Monad - Modelling Probabilistic Time in Haskell

Lars Brünjes

Advanced


haskell network-modelling time probability monad

What To Do When You Have Plenty of (Non-)Haskell

Mathieu Boespflug

All levels


bazel build-systems haskell ghc codebases
14:00

Tea & Coffee Break

14:15

Workshop: Nix & Haskell: From Hello World To Deploying To Production

Tobias Pflug

Beginner


haskell tooling nixos nix
2

Workshop: Build a command line tool in Haskell

Oliver Charles and Ben Clifford

Beginner


unix-command-line tooling cli haskell

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

Richard Eisenberg

Advanced


haskell well-typed types
15:45

Beer Break

16:00
2

Park Bench Panel

Abby Sassel and Ben Clifford

All levels


monads types ghc haskell
17:00

Haskell eXchange Party!

22:00

End of Haskell eXchange 2019 Day 1 - See you tomorrow!

Day 2: Friday 11th October

Don't miss these amazing talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast

09:00

Welcome to Haskell eXchange 2019 - Day 2

09:15

Keynote: (Programming Languages) in Agda = Programming (Languages in Agda)

Philip Wadler

All levels


functional-programming types propositions agda haskell
10:15

Tea & Coffee Break

10:30

Using Haskell and Symbolic Execution to Verify Spacecraft Control Programs

Georgy Lukyanov

Advanced


haskell automated-theorem-proving symbolic-execution formal-verification

Categories and State Machines

Marcin Szamotulski

Advanced


haskell state-machines kleisli-categories categories

Porcupine: Flows Your Rows with Arrows

Yves Parès

Advanced


haskell constrained-framework data porcupine
11:15

Tea & Coffee Break

11:30

Seven Scribbles in Compositionality

Irene Papakonstantinou

All levels


haskell categorytheory

Gazing into the Void: Understanding Space (Leaks)

Matthew Pickering

Beginner


haskell tooling memory-usage-of-programs

Polysemy: Chasing Performance in Free Monads

Sandy Maguire

Advanced


haskell monads
12:15

Lunch

13:15

Fixing Haskell Records

Neil Mitchell

Beginner


records haskell daml

Parsley: A Staged Selective Parser Combinator Library

Jamie Willis

Advanced


haskell domain-specific-languages performance meta-programming parser-combinators parsers

Cleaning the Big Picture: Creating Maintainable Mobile Games in Haskell

Christina Zeller

All levels


haskell clean-code ios android mobile game-apps
14:00

Tea & Coffee Break

14:15

Principled Testing of Functional Reactive Systems

Henrik Nilsson

Advanced


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

Well-Typed Communication Protocols

Duncan Coutts

Advanced


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

JavaScript for Idris Developers

Tom Harding

Advanced


haskell type-system ramda.js idris javascript
15:00

Tea & Coffee Break

15:15

Lightning Talk: The Power Of Const

Markus Hauck

Beginner


haskell fp const datatypes functors

Lightning talk: Evolving an Entity-Component Game Engine in Haskell

Tom Johnson

Advanced


haskell types entity

Lightning Talk: The Elm Architecture in Haskell: Managing state with multiple threads

Marcelo Lazaroni

Beginner


haskell architecture elm fp
15:30

Lightning Talk: Ideas for Future Haskell Tooling

Csaba Hruska

Advanced


haskell ux programming-environment optimization tooling

Lightning Talk: Generating Castles for Minecraft™ using Haskell

Tim Williams

Beginner


lenses games dsl haskell monoids mindcraft

Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris.

Andor Penzes

Beginner


haskell abstract-interpretation compiler-construction
15:45
2

Lightning Talk: Manufacturing Circuit Boards with Robots and Haskell

Oliver Charles and Andrew Seddon

Beginner


haskell realworld-haskell planning robots

Lightning Talk: Why I No longer Use Haskell

Tom Nielsen

All levels


haskell functional-programmig

Lightning Talk: Making and Testing Code Generators in Haskell

Michał Gajda

All levels


haskell generators
16:00

Tea & Coffee Break

16:15

Keynote: Haskell is a Great Host

Gabriele Keller

All levels


variable-binding pattern-matching accelerate type-system haskell functional-programming
17:15

Haskell eXchange 2019 Wrap Up Presentation

17:25

End of Haskell eXchange 2019 - See you in 2020!

Sneak Preview

Excited to have Philip Wadler joining us this year for a Haskell eXchange London keynote!




Philip Wadler is a winner of the POPL Most Influential Paper Award, has contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O'Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.


What will you be sharing this year? What inspired you to give this talk?

I've written a new textbook, Programming Language Foundations in Agda, and I'm looking forward to telling folk about it. (Programming Languages) in Agda = Programming (Languages in Agda) The most profound connection between logic and computation is a pun.

The doctrine of Propositions as Types asserts that propositions correspond to types, proofs to programs, and simplification of proofs to evaluation of programs. The proof of a conjunction is a pair, the proof of a disjunction is a case expression, and the proof of an implication is a lambda expression. Proof by induction is just programming by recursion. Dependently-typed programming languages, such as Agda, exploit this pun. To prove properties of programming languages in Agda, all we need do is program a description of those languages Agda. Finding an abstruse mathematical proof becomes as simple and as fun as hacking a program.


Do you have any blog posts/podcasts or materials you think people might enjoy reading before coming along to your talk?

This talk introduces Programming Language Foundations in Agda, a new textbook that is also an executable Agda script---and also explains the role Agda is playing in IOHK's new cryptocurrency. The textbook can be found here: http://plfa.inf.ed.ac.uk


Catch Philip Wadler at Haskell London this October! More info on our Programme Page


Looking forward to Gabriele Keller's 'Haskell is a Great Host' keynote this October!




Gabriele Keller has contributed to the design of Haskell type families and is one of the co-authors of the paper 'Associated Type Symptoms'. Chair of Utrecht University's Software Technlogy Group, Gabriele also co-founded the Programming Languages & Systems Group at the University of New South Wales, and was a Principal Researcher at Data6 (formerly NICTA) in the Trustworthy Systems project.

What made you want to be a part of Haskell eXchange this year?

I had heard lots of great things about HaskellX from previous years, but living in Australia, it was just not really feasible for me to attend. Now that I'm back in Europe, it was a no brainer.

Which other talks from Haskell eXchange are you excited about, and why?

Hard to pick favourites - a lot the announced talks sound great. But, if I had to choose one I'm most curious about then it would be Mfon Eti-mfon's "Haskelling Against the Odds".


Do you have any blog posts/podcasts or materials you think people might enjoy reading before coming along to your talk?

Unfortunately not.

Beyond type systems, functional languages and tech-related areas in general, what’s your favourite research interest?

High-performance computing - parallel programming poses a lot of interesting challenges I love working on. The other great aspect of this field is that if gives me the opportunity to work with users from other sciences, like chemistry, ecology and biology, which I really love.


Catch Gabriele Keller at Haskell London this October! More info on our Programme Page


A command line tool-building workshop AND a park bench panel session?! Thanks for spoiling us this year, Ben Clifford!




Ben Clifford's worldwide career has spanned supercomputing, distributed systems, and programming languages. He has been using Haskell since 2005.

What made you want to be a part of Haskell eXchange this year?

I always think it's fun to teach an introductory level tutorial to clear out assumptions I've made. Also, it's my biggest annual meeting of Haskell-friends and professional contacts.

Which other talks from Haskell eXchange are you excited about, and why?

Scoped effects. Because I am unreasonably interested in those even though I never manage to get them into a serious project.


Do you have any blog posts/podcasts or materials you think people might enjoy reading before coming along to your talk?

For the tutorial... any intro Haskell stuff. For the park bench... just start forming opinions.

Other than something Haskell, or tech-related what would your specialist subject on 'Mastermind' be?

Nice pubs in obscure cities of the world? Scuba diving?

What's the best pub quiz team name you've come across?

Not something I'm going to write in a professional context...


Catch Ben Clifford at Haskell London this October! More info on our Programme Page


Venue

CodeNode

CodeNode is the UK's largest venue dedicated to Technology events and was designed to provide a space for Skills Matter's community of software professionals to come together and enjoy meetups, conferences, training and networking events. With fantastic transport links and located in the heart of London's Tech City, Codenode welcomes thousands of engineers each year, who come together to learn and share skills, exoerience and collaborate on projects.

CodeNode features six dedicated event spaces, a large break-out area, complete with fully-licensed bar, reliable wifi, plenty of power sockets, and 6 dedicated event and collaboration spaces.

Get Involved

Call For Papers is now CLOSED

Thanks for submitting a proposal, the response's been overwhelming and we are currently working on selecting talks. Click here to stay up to date and find out more on speakers as we'll start publishing the line-up very soon!

Volunteer at Haskell eXchange 2019!

Want to help us facilitate a great conference? Help us set up the conference spaces, introduce talks and speakers, field Q&A questions with mics, or support some of the workshops and hacks we've got in store? Sign up as a volunteer and get a free ticket to the conference!

We ask all volunteers to help us with the set up of the conference on 10 October (the day before the conference) and and some hours of your time during the conference, for example to compare the talks or help field questions with mics.

If that sounds like fun, email conferences@skillsmatter.com and we'll be in touch shortly to sign you up to this year's volunteering team.

Haskell eXchange 2019 Diversity Scholarship Plan

The Haskell eXchange 2019 Diversity Scholarship Plan is now closed, thank you to all those who applied, and please feel free to apply again next year.

Sponsors

Whether you are seeking to improve visibility of your tools, devices or projects, or simply would like to support Haskell eXhange's passionate community through your engagement, our sponsorship team will be able to help you select the best sponsorship package for you! Email sponsors@skillsmatter.com or phone 0207 183 9040.

Click here if you are interested in a downloadable PDF outlining sponsorship opportunities, or contact the team by email sponsors@skillsmatter.com or phone +44 (0) 207 183 9040.

Available Packages

    • 64-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (3m x 1.5m) in central conference break-out area
      • 4 free conference tickets (subject to availability) which you can gift to your clients or your engineering team
      • 4 free exhibitor passes
      • 4 Tweets retweeted by @skillsmatter before and during the conference and highlighted as part of tweets trending with #HaskellX
      • 28 conference party drink tokens to give away at your booth
      • 2 gift or printed item in swag bags
      • 2 places to attend our Speakers reception drinks
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your logo (size relevant to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange London 2019 Conference Pages (at bottom of page)
      • In pre- and post conference attendee news update emails
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • All digital signage throughout conference venue, if any
      • Conference Closing Speech Sponsor Thank You Slide

      64-BIT Sponsorship Bonus Add-Ons Available

      Your logo on all conference Swag Bags (£5000) Your logo on all conference attendee T-shirts (£5000) Your logo on conference lanyards worn by all conference attendees (£3500) Your logo on Haskell eXchange London 2019 Party branding (e.g. beer mats, banners, balloons) (£2,500)

    • 32-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (1.5m x 1.5m) in central conference break-out area
      • 2 free conference tickets, (subject to availability) which you can gift to your clients or your engineering team
      • 2 free exhibitor passes
      • 10 conference party drink tokens
      • 2 Tweets retweeted by @skillsmatter before and during the conference and highlighted as part of tweets trending with #ProgNET
      • 1 gift or printed item in swag bags
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • 140 character post-conference news item will be shared via hotlinked url in post-conference email to all attendee

      Brand Visibility Benefits

      Your logo (size relative to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange London 2019 Conference Pages (at bottom of page)
      • All pre and post conference attendee news update emails
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • Digital signage throughout the venue, if any
      • Conference Closing Speech Sponsor Thank You Slide
    • 16-BIT SPONSORSHIP
    • Engagement Benefits

      • 1 flipchart (1m²) in central conference breakout area
      • 1 free exhibitor pass
      • 1 free conference pass (subject to availability)
      • 1 gift or printed item in swag bags
      • 1 tweet retweeted by @skillsmatter before and during the conference and highlighted as part of tweets trending with #HaskelleXchange

      Brand Visibility Benefits

      Your logo (size relative to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2019 Conference Pages (at bottom of page)
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • Digital signage throughout the venue, if any
      • Conference Closing Speech Sponsor Thank You Slide
    • 8-BIT SPONSORSHIP
    • Engagement Benefits

      • 1 free exhibitor pass
      • 1 gift or printed item in swag bags

      Brand Visibility Benefits

      Your logo (size relative to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2019 Conference Pages (at bottom of page)
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • All digital signage throughout the conference venue, if any


To discuss sponsorship opportunities please contact the team:

Thanks to our sponsors

Press

Press Pass Registration

Skills Matter gives out Press Passes to both in-house and freelance editors, journalists, bloggers and influencers. We encourage those who have a genuine passion for tech and love to share great stories with tech communities and industries to apply.

Apply for Skills Matter Press Pass

SkillsCasts
Photos
Other Years