Zdonyjvachskrdgtz6dc
2 DAY CONFERENCE

Haskell eXchange 2017

Topics covered at #haskellX

Thursday, 12th - Friday, 13th October at CodeNode, London

39 experts. will be speaking. Starts at 9:00 AM.

Back for a sixth installment, the 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 or a beginner, whether you are a commercial user, an academic or a hobbyist, we'd love it if you join us this year at the Haskell eXchange!

Join us at Haskell eXchange London on October 12-13th 2017

The sixth Haskell eXchange returns with more in store for you to learn and discover! Join leading experts in the Haskell realm who will share their ideas and thought processes on all things Haskell. Follow us at #HaskellX for all the latest updates on the conference!

Thank you to all speakers, sponsors and attendees for making Haskell eXchange 2016 a memorable event!

Check out Haskell eXchange 2016's Highlights and Conversations with our experts here!



Breaking news! Simon Peyton Jones comes back to Haskell eXchange 2017!


Join us at Haskell eXchange's sixth edition as the mighty Simon Peyton Jones, one of the major contributors to the design of the Haskell programming language, will be delivering a keynote!

Tickets

Registration is open and we have some great Early Bird offers available so if you are planning to join us for two days packed with Haskell fun, get your skates on and book your ticket today!

Call for Papers now CLOSED - Check out our Programme Page for Updates!

The 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!

Get Involved

Would you like 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!

Join us for the HaskellX Bytes evening events at CodeNode

Want to stay in the loop with the latest developments within the Haskell community?

Join us at the brand new Haskell Bytes series we'll be hosting at CodeNode leading up to Haskell eXchange 2017!

Find more information here!

Code of Conduct

Please find our Code of Conduct here.

Impressions of last year

Thanks to our sponsors

Day 1: Day 1 - Thursday 12 Oct 2017

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: SHIFT Room Name: CMD
08:30

Registration & Breakfast Refreshments

09:15

Opening & Welcome

09:30

Keynote: Scrap your Bounds Checks with Liquid Haskell

Gabriel Gonzalez

all levels


liquid-haskell refinement-types performance parsing haskellx haskell
10:30

Coffee Break

10:45

Fast XML Parsing with Haskell

Neil Mitchell

beginner


performance xml parsing ffi haskellx haskell

Antidote - Just the Right Kind of Consistency for your Data

Annette Bieniusa

beginner


nosql data-store replicated-data consistency cloud-computing edge-computing haskellx haskell

Workshop: Practical Parser Combinators

Ben Clifford

beginner


parser parsers haskellx haskell
11:30

Coffee Break

11:45

Welcome to the Machines

Alois Cochard

advanced


haskellx haskell

Data Science in Haskell: Solutions and Challenges

Tom Nielsen

beginner


haskellx haskell data datascience

Workshop: Practical Parser Combinators

Ben Clifford

beginner


parser parsers haskellx haskell
12:30

Lunch Break!

13:30

A Look Inside GHC's Optimiser

Matthew Pickering

advanced


functional-programming ghc optimisation haskellx haskell

Lazy Interactions - Back to the Future

Simon Thompson

beginner


erlang lazy-evaluation stream list functional-programming io haskellx haskell

Individualisation of Extensible Workflows

Arie Middelkoop

advanced


workflows edsl typelevel-programming attribute-grammars haskellx haskell
14:15

Coffee Break

14:30

Geometric Algebra in Haskell

Chris Doran

beginner


geometric algebra mathematics haskellx haskell

Signature Inference for Functional Property Discovery

Tom Sydney Kerckhove

beginner


testing random-testing property-testing property-discovery unit-testing haskellx haskell

Algebraic Design of DSLs

Ritesh Ragavender

advanced


type-systems large-system-design dsl startups haskellx haskell
15:15

Coffee Break

15:30

Change in an Immutable World – Taming IO, ST, and the Demons of Unsafety

David Luposchainsky

advanced


immutable io haskellx haskell

New Hasql: Faster and Simpler

Nikita Volkov

beginner


postgresql database driver hasql haskellx haskell

Kalman Filters

Dominic Steinitz

advanced


kalman-filter haskellx haskell
16:15

Beer Break

16:30

Keynote: A Monoid for All Seasons

Julie Moronuki

all levels


monoid pattern haskell-teaching haskell-books typeclasses boolean-algebra applicatives haskellx haskell
17:30

Beer Break!

17:45

Park Bench Panel Session with #HaskellX Experts!

all levels


haskell
18:45

#HASKELLX PARTY WITH PIZZA & BEER!

21:00

End of Day 1

Day 2: Day 2: Friday 13 Oct 2017

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: ALT/TAB Room Name: CMD
08:30

Registration & Breakfast Refreshments

09:15

Welcome to Day 2

09:30

Keynote: Compiling without Continuations

Simon Peyton Jones

all levels


types monads compile compiler ghc haskell haskellx
10:30

Coffee Break

10:45

Distributed Programming with Linear Types

Arnaud Spiwack

advanced


programming types haskell haskellx

The Arpeggigon: A Functional Reactive Musical Automaton

Henrik Nilsson

beginner


functional-reactive-programming reactive-value synchronous-dataflow hybrid-systems music
2

Workshop: Advanced Haskell Development with Nix

Bas van Dijk and Peter Simons

beginner


nix haskell haskellx
11:30

Coffee Break

11:45

Incremental Computing

Wolfgang Jeltsch

advanced


incremental-computing type-system algorithms frp dsl types haskell haskellx

Algebraic Graphs

Andrey Mokhov

beginner


graph algebra haskell haskellx
2

Workshop: Advanced Haskell Development with Nix

Bas van Dijk and Peter Simons

beginner


nix haskell haskellx
12:30

Lunch Break

13:30

Static Pointers, Closures and Polymorphism

Edsko de Vries

advanced


static-pointers distributed-computing cloud-haskell sparkle haskell haskellx

How to Architect Medium to Large-Scale Haskell Applications

Jasper Van der Jeugt

beginner


types.hs utils.hs main.hs haskell haskellx

An EDSL for KDB/Q: Rationale, Techniques and Lessons Learned

Tim Williams

advanced


dsl recursion compiler haskell haskellx
14:15

Coffee Break

14:30

Through a Glass, Abstractly: Lenses and the Power of Abstraction

Adam Gundry

advanced


functional-programming lenses optics abstraction haskell haskellx

Multiplayer Game from Scratch

Nickolay Kudasov

beginner


games haskell haskellx

Functional Programming with Bananas in Barbed Wire

Michał Kawalec

advanced


type-system abstraction recursion types compiler haskell haskellx
15:15

Coffee Break

15:30

Lightning Talk: Stolen Instances Taste Just Fine

Baldur Blondal


typeclasses applicatives monoid pattern deriving types ghc haskell

Lightning Talk: Elliptic Curve Cryptography

Thomas Dietert


public-key-cryptography cryptography digital-signature ecdsa haskell

Lightning Talk: Declaring Data Management Applications with Herculus

Moritz Drexl


heculus data-management apps relational-data haskell
15:45

Lightning Talk: Writing an Assembler Back-end in Haskell is Easier Than You Think (Honest!)

Peter Trommler


-ghc -native-code -peephole-optimisation native-code peephole-optimisation linux ghc haskell

Lightning Talk: Our Tools for Mobile Haskell Games and Apps

Ivan Perez


android ios mobile games testing haskell

Lightning Talk: Protop--Dependent Types through Topoi

Lars Brünjes


types haskell
16:00

Lightning Talk: Properties Meets Quality Assurance Test Design Principles

Andor Penzes


test testing haskell

Lightning Talk: Dependent Maps

Will Jones


dependent-types haskell

Lightning Talk: Engage Clutch, Shift Gear; ROFL!

Gabor Greif


type algorithm effect-ordering shallow-embedding haskell
16:30

Beer Break!

16:45

Keynote: Category Theory in Life

Dr Eugenia Cheng

all levels


haskell haskellx category-theory
17:45

Wrap Up Presentation

18:00

End of #HaskellX 2017! See you in 2018!

Gabriel Gonzalez on how the Haskell community can help Liquid Haskell!




I'm always searching for ways that people can contribute to the Haskell ecosystem because I believe participation in the community is half the fun of learning the language. This inspired my choice to talk about an exciting new project that you can contribute to: Liquid Haskell.

Liquid Haskell extends Haskell's type-level language to improve the expressiveness and readability of Haskell types at no cost to the user. You can think of Liquid Haskell as a more user-friendly subset of dependent types that lets you use type-level arithmetic, sets, and maps to check your work.

Liquid Haskell is an ambitious project that needs your help! The core implementation works today, but you can still contribute in many ways, such as:

* improving error messages
* ironing out lots of bugs
* simplifying installation
* integrating Liquid Haskell directly into GHC


I hope my talk inspires you to use Liquid Haskell and to contribute to this high-impact project for the Haskell community.


Interested in joining Gabriel and other experts at this year's conference? Check out the Programme Page for more info!


Neil Mitchell shares some love for the Haskell community and this years Haskell eXchange!




I am excited to be joining this year's Haskell eXchange where I will be sharing my thoughts on high performance XML parsing. Haskell is a great language for expressing type-safe high-level programs, and Haskell programs can be made to go fast, but there is certainly some knowledge required to do both. In my talk I'll be solving the same problem from two angles - first by just giving up and using C (and then using Haskell's awesome FFI), and secondly using normal Haskell but being very aware of performance.

The best thing about being part of the Haskell community is that the quality of the libraries is so high. Most libraries I want tend to be available, and if they are available, I have a high degree of confidence they are well thought out and tested.

At Haskell eXchange, I most look forward to learning about Kalman filters. They've piqued my interest before, and having someone like Dominic Steinitz explain them to me means I'll probably understand them this time.

My talk will be enjoyed by Haskell programmers looking towards performance and thinking about runtime behaviour. In particular, it will provide a good introduction to the Haskell FFI and interoperation with C code.



I think the most anticipated/exciting development for the Haskell community over the next 12 months will be the GHC Devops project. GHC is a frustrating mix of the worlds most advanced optimising compiler for a functional language, combined with shell scripts from the '80s and a slow release cycle. Hopefully by channelling modern devops we can get more good stuff, which works better, at a faster pace.


Want to find out more about this years Haskell eXchange? Head to the Programme Page for more info!


Ben Clifford reveals the importance of Parsers in developing a love of Haskell!




Parsers were what got me into Haskell in the first place - not as a field of academic study, but because I was looking for something better than regexps to do my real day-to-day work.

It turns out I fell in love, and Haskell has played a big part in my career since then.

So I'm excited to present a tutorial that I hope won't just get people up to speed with parser combinators, but also lure beginners into this great community.

Want to see what else is happening at Haskell eXchange? Click here for more info!


Computer Science wizard Simon Peyton Jones talks join points & the satisfaction of their simplicity!




The idea of join points, which I’ll describe in my talk, is one of the single most satisfying advances in GHC’s very small, jewel-like intermediate language, Core. Join points are not a particularly big idea, in retrospect, but they are a very simple idea, one that is very effective in practice, and one with deep intellectual roots in logic. It’ll be fun!

Want a glimpse at the rest of the line up? Check out the Haskell program page!


Tom Sydney Kerckhove talks about his involvement in Property Discovery and why he's bringing it to the Haskell eXchange world!




I am very pleased to announce that I will be a speaker at 2017's Haskell eXchange.

I will be speaking about property discovery and my involvement in the progress on this topic.

My thesis has officially been completed and submitted.

I have made progress on the topic of functional property discovery and I look forward to sharing this progress.

My aim is to show that property discovery has the potential to revolutionise the way we write software in the medium-term future. It would be great to spark interest to contribute to this concept and to move it further toward practical applicability.


Why property discovery?

Testing has been around for a while in practical software engineering. However, it is still too often beneficial from a business perspective to omit any effort toward software correctness to deliver more quickly. Another problem with testing is that a programmer already has to know what it means for their code to be correct, and then write the corresponding test cases.

The problem of having to come up with test cases has already been solved by property discovery. QuickCheck is an implementation of this concept in Haskell and it is already used by Haskell programmers. However, property testing has the nasty disadvantage that it exacerbates the problem of cost. Writing property tests is more difficult that writing unit tests, and even fewer programmers take the time to do so. As a result, property testing is much more rarely used in practice than unit tests.

Property discovery has the potential to solve this last problem with property testing, by freeing the programmer from having to figure out what their code is supposed to do. Property discovery consists of discovering properties of subject code, and subsequently generating the test code to test that these properties hold. As such, property discovery has the potential to make it cheaper to write tested code than to write untested code, even in the short term.

My Involvement

A proof of concept tool for Property discovery has already been written for Haskell. It is called [QuickSpec] and it is great at what it does. However, QuickSpec has certain limitations that make it impractical for real-world use: It has a $O(N^14)$ time complexity with respect to the size of your code base, and it requires a programmer to write code to invoke the property discovery.

For my master thesis, I contributed a tool called [`easyspec`]. This tool is a proof of concept implementation of a new approach called _signature inference_ that solves both of these problems with QuickSpec by automating the process of invoking the property discovery mechanism, and by cleverly choosing the inputs such that the runtime remains practical ($O(1)$ or $(O(N)$, depending on the use-case).

My talk

In my talk, I will introduce Property discovery from scratch. No familiarity with testing or testing in Haskell is assumed, but familiarity with Haskell will come in handy to understand the examples.

The talk will be most enjoyable for anyone interested in practical approaches to software correctness. It should also be a great example of why functional programming is the way forward on the path to correct software.


Get more info on this years Haskell eXchange over on the program page!


Seasoned Haskell pro Simon Thompson looks forward to exploring cool Haskelling concepts at this years Haskell eXchange!




Having been around the Haskell community from the early days, it’s really exciting to see how much the language is being put to practical use these days. I really enjoy going to meetups like the Haskell eXchange, because I can hear “war stories” about how Haskell is being used, but also see how many of the cool concepts that underlie the language make a difference in practice. My talk is for people new to the language, but also of interest to more knowledgable Haskellers, as it re-examines work from a while ago, and reflects on how Haskell has evolved.

Interested in joining Simon and other experts at this year's conference? Check out the Programme Page for more info!


Abstract maths magician Andrey Mokhov returns to Haskell eXchange to talk graph characterisation & mingle with the community!




It's great to be back to Haskell eXchange to share an idea that has been puzzling me for a few years. I'll present a new way of thinking about graphs, where instead of focusing on details (vertices and edges) we take a step back and discover a simple and unusual algebraic structure that characterises graphs, much like the ring theory characterises numbers. You do not need any advanced mathematics or Haskell background to enjoy the talk. Algebraic graphs are implemented in a Haskell library: https://github.com/snowleopard/alga.

The best thing about Haskell eXchange is the Haskell community that brings back the feeling of mystery and adventure about programming, which I had about 20 years ago when I was writing my first programs in BASIC. That feeling was lost at some point; it seemed to me that the only way to deal with ever-growing software complexity was to throw more developers at it. Haskell and the community that drives it forward introduced me to the wonderful world of high-level abstractions that conquer the complexity in elegant, simple and sometimes mysterious ways. And once again, programming feels like an adventure, not a routine.

As a newcomer to the community, I look forward to meeting new people at Haskell eXchange and learning about their current work. My personal research interests are in applying abstract mathematics and functional programming to large-scale engineering, and the programme looks extremely relevant.


Interested in joining Andrey and other experts at this year's conference? Check out the Programme Page for more info!


CodeNode

In August 2015, Skills Matter opened the doors to CodeNode, our new 23,000 sqft Tech Events and Community venue. CodeNode provides fantastic meetup, conference, training and collaboration spaces with unrivalled technology capabilities for our tech, digital and developer communities - a long held dream coming true !

With fantastic transport links and located in the heart of London's Tech City, we could not think of a better location for our 60,000 strong engineering community!

With seven event rooms, including a 300 seater lecture room, thousands more community members will be able to visit CodeNode to learn and share skills, code and collaborate on projects.

CodeNode features a 5,000 sqft break-out space, complete with fully-licensed bar, plenty of power sockets, meeting and collaboration spaces and entertainment areas.

CodeNode will also see the opening of a permanent Hack Space, stacked with microprocessors and the latest tools and devices to play with. A community film studio will be opening too, which you can use to record any tutorials or demo's you may want to share with our community.

If you're interested in hiring CodeNode for your upcoming event, check out more details here.

Gqtpblcm51rgqabhqlzb

CodeNode

Skills Matter | CodeNode, 10 South Place, London, EC2M 7EB, GB


View details, travel and nearby hotels

Call for Papers is Now CLOSED!

The 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!

Don't miss these Special Moments with the experts from Haskell eXchange 2017!

Haskell eXchange Interview with Gabriel Gonzalez


Haskell eXchange Interview with Simon Thompson


Haskell eXchange Interview with Anette Bieniusa

Don't want Haskell eXchange to end? Carry it on with Haskell2gether!



Follow up the lessons learned, the ideas sparked and the friendships formed at Haskell eXchange with a weekend full of Haskell community fun!

Whether you're a Haskell n00b or a seasoned vet, an attendee of the weeks previous conference or just looking to engage now - dive on into Haskell2gether for a whole Saturday and Sunday of free hands-on activities.

Join fellow Haskell eXchange attendees and some of the most talented coders and experts, for our new weekend-long Haskellx2gether event and create something amazing together!

Participation is free for registered attendees. Register here.

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.

Available Packages

    • 256-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (4.5m x 2.5m) in central conference break-out area
      • 8 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 8 free exhibitor passes
      • 6 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 50 conference party drink tokens to give away at your booth
      • 3 gifts or printed items in swag bags
      • 4 places at speakers dinner
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Set one of the Hack Challenges and award a prize to the winner of your challenge
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (extra large) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • 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
      • Conference Closing Speech Sponsor Thank You Slide
      • Conference swag bags
      • Lanyards worn by every attendee
      • Conference t-shirt

      Featured at the HaskellX 2017 Party

      • On party tickets
      • On beer mats
      • On party banners
    • 128-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (3m x 1.5m) in central conference break-out area
      • 6 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 6 free exhibitor passes
      • 4 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 25 conference party drink tokens to give away at your booth
      • 2 gifts or printed items in swag bags
      • 2 places at speakers dinner
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Set one of the Hack Challenges and award a prize to the winner of your challenge
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (large) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • 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
      • Conference Closing Speech Sponsor Thank You Slide
      • Conference swag bags

      Featured at the HaskellX 2017 Party

      • On party tickets
      • On beer mats
    • 64-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (1.5m x 1.5m) in central conference break-out area
      • 4 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 4 free exhibitor passes
      • 2 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 10 conference party drink tokens to give away at your booth
      • 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
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (medium size) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • 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
      • Conference Closing Speech Sponsor Thank You Slide
    • 32-BIT SPONSORSHIP
    • Engagement Benefits

      • Flipchart at Haskell eXchange in central conference break-out area
      • 2 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 2 free exhibitor passes
      • 1 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 1 gift or printed item in swag bags

      Brand Visibility Benefits

      Your (small) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 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
      • Conference Closing Speech Sponsor Thank You Slide
    • 16-BIT SPONSORSHIP
    • Engagement Benefits

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

      Brand Visibility Benefits

      Your (extra small) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 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


To discuss sponsorship opportunities please contact the team:

Thanks to our sponsors

Overview

Back for a sixth installment, the 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 or a beginner, whether you are a commercial user, an academic or a hobbyist, we'd love it if you join us this year at the Haskell eXchange!

Join us at Haskell eXchange London on October 12-13th 2017

The sixth Haskell eXchange returns with more in store for you to learn and discover! Join leading experts in the Haskell realm who will share their ideas and thought processes on all things Haskell. Follow us at #HaskellX for all the latest updates on the conference!

Thank you to all speakers, sponsors and attendees for making Haskell eXchange 2016 a memorable event!

Check out Haskell eXchange 2016's Highlights and Conversations with our experts here!



Breaking news! Simon Peyton Jones comes back to Haskell eXchange 2017!


Join us at Haskell eXchange's sixth edition as the mighty Simon Peyton Jones, one of the major contributors to the design of the Haskell programming language, will be delivering a keynote!

Tickets

Registration is open and we have some great Early Bird offers available so if you are planning to join us for two days packed with Haskell fun, get your skates on and book your ticket today!

Call for Papers now CLOSED - Check out our Programme Page for Updates!

The 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!

Get Involved

Would you like 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!

Join us for the HaskellX Bytes evening events at CodeNode

Want to stay in the loop with the latest developments within the Haskell community?

Join us at the brand new Haskell Bytes series we'll be hosting at CodeNode leading up to Haskell eXchange 2017!

Find more information here!

Code of Conduct

Please find our Code of Conduct here.

Impressions of last year

Thanks to our sponsors

Programme

Day 1: Day 1 - Thursday 12 Oct 2017

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: SHIFT Room Name: CMD
08:30

Registration & Breakfast Refreshments

09:15

Opening & Welcome

09:30

Keynote: Scrap your Bounds Checks with Liquid Haskell

Gabriel Gonzalez

all levels


liquid-haskell refinement-types performance parsing haskellx haskell
10:30

Coffee Break

10:45

Fast XML Parsing with Haskell

Neil Mitchell

beginner


performance xml parsing ffi haskellx haskell

Antidote - Just the Right Kind of Consistency for your Data

Annette Bieniusa

beginner


nosql data-store replicated-data consistency cloud-computing edge-computing haskellx haskell

Workshop: Practical Parser Combinators

Ben Clifford

beginner


parser parsers haskellx haskell
11:30

Coffee Break

11:45

Welcome to the Machines

Alois Cochard

advanced


haskellx haskell

Data Science in Haskell: Solutions and Challenges

Tom Nielsen

beginner


haskellx haskell data datascience

Workshop: Practical Parser Combinators

Ben Clifford

beginner


parser parsers haskellx haskell
12:30

Lunch Break!

13:30

A Look Inside GHC's Optimiser

Matthew Pickering

advanced


functional-programming ghc optimisation haskellx haskell

Lazy Interactions - Back to the Future

Simon Thompson

beginner


erlang lazy-evaluation stream list functional-programming io haskellx haskell

Individualisation of Extensible Workflows

Arie Middelkoop

advanced


workflows edsl typelevel-programming attribute-grammars haskellx haskell
14:15

Coffee Break

14:30

Geometric Algebra in Haskell

Chris Doran

beginner


geometric algebra mathematics haskellx haskell

Signature Inference for Functional Property Discovery

Tom Sydney Kerckhove

beginner


testing random-testing property-testing property-discovery unit-testing haskellx haskell

Algebraic Design of DSLs

Ritesh Ragavender

advanced


type-systems large-system-design dsl startups haskellx haskell
15:15

Coffee Break

15:30

Change in an Immutable World – Taming IO, ST, and the Demons of Unsafety

David Luposchainsky

advanced


immutable io haskellx haskell

New Hasql: Faster and Simpler

Nikita Volkov

beginner


postgresql database driver hasql haskellx haskell

Kalman Filters

Dominic Steinitz

advanced


kalman-filter haskellx haskell
16:15

Beer Break

16:30

Keynote: A Monoid for All Seasons

Julie Moronuki

all levels


monoid pattern haskell-teaching haskell-books typeclasses boolean-algebra applicatives haskellx haskell
17:30

Beer Break!

17:45

Park Bench Panel Session with #HaskellX Experts!

all levels


haskell
18:45

#HASKELLX PARTY WITH PIZZA & BEER!

21:00

End of Day 1

Day 2: Day 2: Friday 13 Oct 2017

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: ALT/TAB Room Name: CMD
08:30

Registration & Breakfast Refreshments

09:15

Welcome to Day 2

09:30

Keynote: Compiling without Continuations

Simon Peyton Jones

all levels


types monads compile compiler ghc haskell haskellx
10:30

Coffee Break

10:45

Distributed Programming with Linear Types

Arnaud Spiwack

advanced


programming types haskell haskellx

The Arpeggigon: A Functional Reactive Musical Automaton

Henrik Nilsson

beginner


functional-reactive-programming reactive-value synchronous-dataflow hybrid-systems music
2

Workshop: Advanced Haskell Development with Nix

Bas van Dijk and Peter Simons

beginner


nix haskell haskellx
11:30

Coffee Break

11:45

Incremental Computing

Wolfgang Jeltsch

advanced


incremental-computing type-system algorithms frp dsl types haskell haskellx

Algebraic Graphs

Andrey Mokhov

beginner


graph algebra haskell haskellx
2

Workshop: Advanced Haskell Development with Nix

Bas van Dijk and Peter Simons

beginner


nix haskell haskellx
12:30

Lunch Break

13:30

Static Pointers, Closures and Polymorphism

Edsko de Vries

advanced


static-pointers distributed-computing cloud-haskell sparkle haskell haskellx

How to Architect Medium to Large-Scale Haskell Applications

Jasper Van der Jeugt

beginner


types.hs utils.hs main.hs haskell haskellx

An EDSL for KDB/Q: Rationale, Techniques and Lessons Learned

Tim Williams

advanced


dsl recursion compiler haskell haskellx
14:15

Coffee Break

14:30

Through a Glass, Abstractly: Lenses and the Power of Abstraction

Adam Gundry

advanced


functional-programming lenses optics abstraction haskell haskellx

Multiplayer Game from Scratch

Nickolay Kudasov

beginner


games haskell haskellx

Functional Programming with Bananas in Barbed Wire

Michał Kawalec

advanced


type-system abstraction recursion types compiler haskell haskellx
15:15

Coffee Break

15:30

Lightning Talk: Stolen Instances Taste Just Fine

Baldur Blondal


typeclasses applicatives monoid pattern deriving types ghc haskell

Lightning Talk: Elliptic Curve Cryptography

Thomas Dietert


public-key-cryptography cryptography digital-signature ecdsa haskell

Lightning Talk: Declaring Data Management Applications with Herculus

Moritz Drexl


heculus data-management apps relational-data haskell
15:45

Lightning Talk: Writing an Assembler Back-end in Haskell is Easier Than You Think (Honest!)

Peter Trommler


-ghc -native-code -peephole-optimisation native-code peephole-optimisation linux ghc haskell

Lightning Talk: Our Tools for Mobile Haskell Games and Apps

Ivan Perez


android ios mobile games testing haskell

Lightning Talk: Protop--Dependent Types through Topoi

Lars Brünjes


types haskell
16:00

Lightning Talk: Properties Meets Quality Assurance Test Design Principles

Andor Penzes


test testing haskell

Lightning Talk: Dependent Maps

Will Jones


dependent-types haskell

Lightning Talk: Engage Clutch, Shift Gear; ROFL!

Gabor Greif


type algorithm effect-ordering shallow-embedding haskell
16:30

Beer Break!

16:45

Keynote: Category Theory in Life

Dr Eugenia Cheng

all levels


haskell haskellx category-theory
17:45

Wrap Up Presentation

18:00

End of #HaskellX 2017! See you in 2018!

Sneak Preview

Gabriel Gonzalez on how the Haskell community can help Liquid Haskell!




I'm always searching for ways that people can contribute to the Haskell ecosystem because I believe participation in the community is half the fun of learning the language. This inspired my choice to talk about an exciting new project that you can contribute to: Liquid Haskell.

Liquid Haskell extends Haskell's type-level language to improve the expressiveness and readability of Haskell types at no cost to the user. You can think of Liquid Haskell as a more user-friendly subset of dependent types that lets you use type-level arithmetic, sets, and maps to check your work.

Liquid Haskell is an ambitious project that needs your help! The core implementation works today, but you can still contribute in many ways, such as:

* improving error messages
* ironing out lots of bugs
* simplifying installation
* integrating Liquid Haskell directly into GHC


I hope my talk inspires you to use Liquid Haskell and to contribute to this high-impact project for the Haskell community.


Interested in joining Gabriel and other experts at this year's conference? Check out the Programme Page for more info!


Neil Mitchell shares some love for the Haskell community and this years Haskell eXchange!




I am excited to be joining this year's Haskell eXchange where I will be sharing my thoughts on high performance XML parsing. Haskell is a great language for expressing type-safe high-level programs, and Haskell programs can be made to go fast, but there is certainly some knowledge required to do both. In my talk I'll be solving the same problem from two angles - first by just giving up and using C (and then using Haskell's awesome FFI), and secondly using normal Haskell but being very aware of performance.

The best thing about being part of the Haskell community is that the quality of the libraries is so high. Most libraries I want tend to be available, and if they are available, I have a high degree of confidence they are well thought out and tested.

At Haskell eXchange, I most look forward to learning about Kalman filters. They've piqued my interest before, and having someone like Dominic Steinitz explain them to me means I'll probably understand them this time.

My talk will be enjoyed by Haskell programmers looking towards performance and thinking about runtime behaviour. In particular, it will provide a good introduction to the Haskell FFI and interoperation with C code.



I think the most anticipated/exciting development for the Haskell community over the next 12 months will be the GHC Devops project. GHC is a frustrating mix of the worlds most advanced optimising compiler for a functional language, combined with shell scripts from the '80s and a slow release cycle. Hopefully by channelling modern devops we can get more good stuff, which works better, at a faster pace.


Want to find out more about this years Haskell eXchange? Head to the Programme Page for more info!


Ben Clifford reveals the importance of Parsers in developing a love of Haskell!




Parsers were what got me into Haskell in the first place - not as a field of academic study, but because I was looking for something better than regexps to do my real day-to-day work.

It turns out I fell in love, and Haskell has played a big part in my career since then.

So I'm excited to present a tutorial that I hope won't just get people up to speed with parser combinators, but also lure beginners into this great community.

Want to see what else is happening at Haskell eXchange? Click here for more info!


Computer Science wizard Simon Peyton Jones talks join points & the satisfaction of their simplicity!




The idea of join points, which I’ll describe in my talk, is one of the single most satisfying advances in GHC’s very small, jewel-like intermediate language, Core. Join points are not a particularly big idea, in retrospect, but they are a very simple idea, one that is very effective in practice, and one with deep intellectual roots in logic. It’ll be fun!

Want a glimpse at the rest of the line up? Check out the Haskell program page!


Tom Sydney Kerckhove talks about his involvement in Property Discovery and why he's bringing it to the Haskell eXchange world!




I am very pleased to announce that I will be a speaker at 2017's Haskell eXchange.

I will be speaking about property discovery and my involvement in the progress on this topic.

My thesis has officially been completed and submitted.

I have made progress on the topic of functional property discovery and I look forward to sharing this progress.

My aim is to show that property discovery has the potential to revolutionise the way we write software in the medium-term future. It would be great to spark interest to contribute to this concept and to move it further toward practical applicability.


Why property discovery?

Testing has been around for a while in practical software engineering. However, it is still too often beneficial from a business perspective to omit any effort toward software correctness to deliver more quickly. Another problem with testing is that a programmer already has to know what it means for their code to be correct, and then write the corresponding test cases.

The problem of having to come up with test cases has already been solved by property discovery. QuickCheck is an implementation of this concept in Haskell and it is already used by Haskell programmers. However, property testing has the nasty disadvantage that it exacerbates the problem of cost. Writing property tests is more difficult that writing unit tests, and even fewer programmers take the time to do so. As a result, property testing is much more rarely used in practice than unit tests.

Property discovery has the potential to solve this last problem with property testing, by freeing the programmer from having to figure out what their code is supposed to do. Property discovery consists of discovering properties of subject code, and subsequently generating the test code to test that these properties hold. As such, property discovery has the potential to make it cheaper to write tested code than to write untested code, even in the short term.

My Involvement

A proof of concept tool for Property discovery has already been written for Haskell. It is called [QuickSpec] and it is great at what it does. However, QuickSpec has certain limitations that make it impractical for real-world use: It has a $O(N^14)$ time complexity with respect to the size of your code base, and it requires a programmer to write code to invoke the property discovery.

For my master thesis, I contributed a tool called [`easyspec`]. This tool is a proof of concept implementation of a new approach called _signature inference_ that solves both of these problems with QuickSpec by automating the process of invoking the property discovery mechanism, and by cleverly choosing the inputs such that the runtime remains practical ($O(1)$ or $(O(N)$, depending on the use-case).

My talk

In my talk, I will introduce Property discovery from scratch. No familiarity with testing or testing in Haskell is assumed, but familiarity with Haskell will come in handy to understand the examples.

The talk will be most enjoyable for anyone interested in practical approaches to software correctness. It should also be a great example of why functional programming is the way forward on the path to correct software.


Get more info on this years Haskell eXchange over on the program page!


Seasoned Haskell pro Simon Thompson looks forward to exploring cool Haskelling concepts at this years Haskell eXchange!




Having been around the Haskell community from the early days, it’s really exciting to see how much the language is being put to practical use these days. I really enjoy going to meetups like the Haskell eXchange, because I can hear “war stories” about how Haskell is being used, but also see how many of the cool concepts that underlie the language make a difference in practice. My talk is for people new to the language, but also of interest to more knowledgable Haskellers, as it re-examines work from a while ago, and reflects on how Haskell has evolved.

Interested in joining Simon and other experts at this year's conference? Check out the Programme Page for more info!


Abstract maths magician Andrey Mokhov returns to Haskell eXchange to talk graph characterisation & mingle with the community!




It's great to be back to Haskell eXchange to share an idea that has been puzzling me for a few years. I'll present a new way of thinking about graphs, where instead of focusing on details (vertices and edges) we take a step back and discover a simple and unusual algebraic structure that characterises graphs, much like the ring theory characterises numbers. You do not need any advanced mathematics or Haskell background to enjoy the talk. Algebraic graphs are implemented in a Haskell library: https://github.com/snowleopard/alga.

The best thing about Haskell eXchange is the Haskell community that brings back the feeling of mystery and adventure about programming, which I had about 20 years ago when I was writing my first programs in BASIC. That feeling was lost at some point; it seemed to me that the only way to deal with ever-growing software complexity was to throw more developers at it. Haskell and the community that drives it forward introduced me to the wonderful world of high-level abstractions that conquer the complexity in elegant, simple and sometimes mysterious ways. And once again, programming feels like an adventure, not a routine.

As a newcomer to the community, I look forward to meeting new people at Haskell eXchange and learning about their current work. My personal research interests are in applying abstract mathematics and functional programming to large-scale engineering, and the programme looks extremely relevant.


Interested in joining Andrey and other experts at this year's conference? Check out the Programme Page for more info!


Venue

CodeNode

In August 2015, Skills Matter opened the doors to CodeNode, our new 23,000 sqft Tech Events and Community venue. CodeNode provides fantastic meetup, conference, training and collaboration spaces with unrivalled technology capabilities for our tech, digital and developer communities - a long held dream coming true !

With fantastic transport links and located in the heart of London's Tech City, we could not think of a better location for our 60,000 strong engineering community!

With seven event rooms, including a 300 seater lecture room, thousands more community members will be able to visit CodeNode to learn and share skills, code and collaborate on projects.

CodeNode features a 5,000 sqft break-out space, complete with fully-licensed bar, plenty of power sockets, meeting and collaboration spaces and entertainment areas.

CodeNode will also see the opening of a permanent Hack Space, stacked with microprocessors and the latest tools and devices to play with. A community film studio will be opening too, which you can use to record any tutorials or demo's you may want to share with our community.

If you're interested in hiring CodeNode for your upcoming event, check out more details here.

Gqtpblcm51rgqabhqlzb

CodeNode

Skills Matter | CodeNode, 10 South Place, London, EC2M 7EB, GB


View details, travel and nearby hotels
Get Involved

Call for Papers is Now CLOSED!

The 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!

Don't miss these Special Moments with the experts from Haskell eXchange 2017!

Haskell eXchange Interview with Gabriel Gonzalez


Haskell eXchange Interview with Simon Thompson


Haskell eXchange Interview with Anette Bieniusa

Fringe

Don't want Haskell eXchange to end? Carry it on with Haskell2gether!



Follow up the lessons learned, the ideas sparked and the friendships formed at Haskell eXchange with a weekend full of Haskell community fun!

Whether you're a Haskell n00b or a seasoned vet, an attendee of the weeks previous conference or just looking to engage now - dive on into Haskell2gether for a whole Saturday and Sunday of free hands-on activities.

Join fellow Haskell eXchange attendees and some of the most talented coders and experts, for our new weekend-long Haskellx2gether event and create something amazing together!

Participation is free for registered attendees. Register here.

Sponsors

Thanks to our 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.

Available Packages

    • 256-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (4.5m x 2.5m) in central conference break-out area
      • 8 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 8 free exhibitor passes
      • 6 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 50 conference party drink tokens to give away at your booth
      • 3 gifts or printed items in swag bags
      • 4 places at speakers dinner
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Set one of the Hack Challenges and award a prize to the winner of your challenge
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (extra large) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • 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
      • Conference Closing Speech Sponsor Thank You Slide
      • Conference swag bags
      • Lanyards worn by every attendee
      • Conference t-shirt

      Featured at the HaskellX 2017 Party

      • On party tickets
      • On beer mats
      • On party banners
    • 128-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (3m x 1.5m) in central conference break-out area
      • 6 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 6 free exhibitor passes
      • 4 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 25 conference party drink tokens to give away at your booth
      • 2 gifts or printed items in swag bags
      • 2 places at speakers dinner
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Set one of the Hack Challenges and award a prize to the winner of your challenge
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (large) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • 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
      • Conference Closing Speech Sponsor Thank You Slide
      • Conference swag bags

      Featured at the HaskellX 2017 Party

      • On party tickets
      • On beer mats
    • 64-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (1.5m x 1.5m) in central conference break-out area
      • 4 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 4 free exhibitor passes
      • 2 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 10 conference party drink tokens to give away at your booth
      • 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
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (medium size) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • 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
      • Conference Closing Speech Sponsor Thank You Slide
    • 32-BIT SPONSORSHIP
    • Engagement Benefits

      • Flipchart at Haskell eXchange in central conference break-out area
      • 2 free conference tickets, worth £650 each (subject to availability) which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum)
      • 2 free exhibitor passes
      • 1 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 1 gift or printed item in swag bags

      Brand Visibility Benefits

      Your (small) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 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
      • Conference Closing Speech Sponsor Thank You Slide
    • 16-BIT SPONSORSHIP
    • Engagement Benefits

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

      Brand Visibility Benefits

      Your (extra small) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 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


To discuss sponsorship opportunities please contact the team:

Skillscasts
Photos
Other Years