2 DAY CONFERENCE

Haskell eXchange 2016

Topics covered at #haskellx

Thursday, 6th - Friday, 7th October in London

37 experts spoke.

Overview

In its fifth year, 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!

Thank you!!

Bigger and Better!

The fifth Haskell eXchange was a great success, growing to 3 tracks of inspiring talks and workshops. Thank you to all those who joined us, Speakers and Attendees alike, we had an awesome time and we hope you did too! A special mention to our Programme Committee who helped us build a superb schedule as well.

Registration for 2017 is Open!


Haskell eXchange 2017 will be held on 12th and 13th October 2017. Join us for another great year - don't miss our Early Bird Registration offers!

Impressions of last year

Excited? Share it!

Thanks to our sponsors

Programme

Day 1: Thursday 6th October 2016

Join us for these awesome sessions!

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

Registration

09:00

Haskell in the Large - The day to day practice of using Haskell to write large systems

Donald Stewart


10:00

Coffee Break

10:30

Neural Nets with Automatic Differentiation

Lars Brünjes


haskell haskellx neural nets api differentiation

Combinators for Generalised Parsing

Thomas van Binsbergen


haskell haskellx types combinator parsing

Hands On Tutorial: Build yourself a reddit bot

Ben Clifford


haskell haskell-x reddit bot api
11:15

Coffee Break

11:30

Ling, a language with predictable fusion

Nicolas Pouillard


haskell haskell-x ling fusion type-theory language-design linearity optimization system-programming

Meet Hadrian: a new build system for GHC

Andrey Mokhov


haskellx haskell hadrian ghc

Hands On Tutorial: Build yourself a reddit bot

Ben Clifford


haskell haskell-x reddit bot api
12:15

Lunch

13:30

Haskell programs: how do they run?

Tom Ellis


haskellx haskell programming

Haskell meets Java

Mathieu Boespflug


haskell haskellx java spark ffi interoperability jvm distributed-programming

Haskell and OpenCV: theory and practice

Francesco Mazzoli


haskell haskellx opencv inline-c computer-vision foreign-function-interface typelevel-programming
14:15

Coffee Break

14:30

Plugging Space Leaks, Improving Performance

Neil Mitchell


haskell haskellx spaceleak functional-programming hoogle hlint shake

Property Based Testing for your business rules too

Romeu Moura


haskell quickcheck testing algebra symmetries ddd haskellx

The innards of a purely functional 3D shooter game engine (influenced by Quake 3)

Csaba Hruska


haskell haskell-x opengl gamedev gpu dsl lambdacube3d quake game-engine
15:15

Coffee Break

15:30

Functional and low-level: watching the STG execute

David Luposchainsky


haskell haskell-x ghc stg

Proving and testing with servant

Julian Arni


Checking and translating type classes

Andres Löh


haskell haskellx typeclasses types ghc
16:15

Coffee Break

16:30

Is a type a lifebuoy or a lamp?

Conor McBride


haskellx haskell
17:30

#HaskellX 2016 Party with Pizza and Beer!

20:00

End of #HaskellX Day 1

Day 2: Friday 7th October 2016

Join us for these awesome sessions!

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

Registration

09:00

Calculating Correct Compilers

Graham Hutton


compilers haskell haskellx technique semantics calculation
10:00

Coffee Break

10:30

Controlling monadic effects with type classes

Andrzej Rybczak


haskell haskell-x computations monad type

Functional Programming at LumiGuide

Bas van Dijk


lumiguide functional-programming haskell haskellx

Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell

Boldizsár Németh


haskell haskell-x
11:15

Coffee Break

11:30

Everything you need to know about Haskell to be an Amateur Sewage Engineer

Robin Kay


haskell haskell-x algebra programming gui domain models game types

Types All The Way Down

Kris Jenkins


haskell haskell-x types frontend backend javascript elm postgresql

Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell

Boldizsár Németh


haskell haskell-x
12:15

Lunch Break

13:30

A reflection on types - Simon Peyton Jones, Microsoft Research

Simon Peyton Jones


haskell
14:30

Coffee Break

14:45

Design You a Haskell Course

Jeremy Singer


haskell haskell-x

Categories and String Diagrams

Nicolas Wu


haskell haskell-x monads

Creating digital circuits using CλaSH

Christiaan Baaij


haskell haskell-x digital-circuits fpgas parallel-programming
15:30

Coffee Break

15:45
4

Lightning Talks 1

Steven Kutsch, Jann Mueller, Matthias Fischmann, and Andor Penzes


haskell haskell-x
3

Lightning Talks 2

Robert Henderson, Philip Cunningham, and Csongor Kiss


haskell haskell-x
3

Lightning Talks 3

Michał Płachta, Oleg Grenrus, and Nickolay Kudasov


haskell haskell-x
16:30

Beer Break!

16:45

#HaskellX Park Bench Park Discussion with Haskell experts!


haskellx haskell panel
17:45

#HaskellX 2016 Wrap Up! See you in 2017!

Sneak Preview

Neil Mitchell will share techniques for detecting space leaks at the Haskell eXchange 2016!





I am excited to be joining the Haskell eXchange where I will be sharing my techniques for detecting space leaks. Lazy languages such as Haskell have lots of great properties (e.g. compositionality), but have the major downside of space leaks. Practical techniques to detect space leaks largely remove that disadvantage, without removing any of the benefits.

The best thing about being part of the Haskell community is the incredible quality of libraries available. If you take an even mildly popular Haskell library it will probably handle most corner cases properly, be robust to exceptions, be multithread safe, have documentation about types which is statically checked and be reasonably well designed.

At Haskell eXchange, I look forward to learning about the work going on in the Haskell community. There are a couple of specific techniques/libraries that look interesting (e.g. neutral nets, game programming), but beyond that I'm interested in how theory and practice are combining (e.g. category theory). While the exact libraries might come and go, the theory underpinning them will hang around forever.

My talk will be enjoyed by those who need to counter arguments in pubs about lazy evaluation, along with those writing real Haskell programs where avoiding space leaks reduces memory usage and improves performance. Even those people who don't enjoy the talk will probably enjoy the benefits the talk provides, including removing space leaks from functions in the Haskell base library.

I think the most anticipated/exciting development for the Haskell community over the next 12 months will be an increase of Haskell in established companies, along with an increase in the number of Haskell jobs. Talk to me if you'd like one of those jobs :)

Wanna find out more? Jump to the Programme Page!


Christiaan Baaij will join the Haskell eXchange to share his experience on programming FPGAs with Haskell!





I'll be joining Haskell eXchange 2016 to share my experience on programming FPGAs using Haskell. Functional languages have always had the promise of being easy to parallelise, but naive approaches on a normal CPU never led to any great results. Perhaps unsurprisingly, it turns out that we can, however, naively use the fine-grain parallelism available in functional languages on fine-grain parallel hardware architectures such as FPGAs.

At Haskell eXchange, there are several talks I'm looking forward to. Having had to endure the pain of hacking GHCs Make-based build system in the past, I'm interested in Andray's talk about what seems to be a much friendlier Haskell-based build system for GHC.


Also, although I have been using Haskell since 2009, I've noticed that my grasp of fixing performance bugs is a bit sketchy at times. So I will definitely be joining Tom's, Neil's, and David's talk to properly refresh my understanding of how Haskell programs actually run, and how to fix the performance of my Haskell programs.

My talk will be enjoyed by newcomers and seasoned Haskell programmers alike. Newcomers will get to know that by learning Haskell they will also be able to program unusual architectures such as FPGAs.

Seasoned Haskell programmers will get to know how to apply their skills if they ever end up in a situation where standard CPUs just cannot deliver enough performance for their application.

Wanna find out more? Jump to the Programme Page!


Robert Henderson will share his excitement about the possibilities that Haskell offers for interactive rapid development of video games at #HaskellX 2016.





As a game developer, I'm excited about the possibilities that Haskell offers for interactive rapid development of video games. I'll be giving a taste of this in my talk, where I'll demonstrate using the Junpi multimedia library to write a platform game in 100 lines of Haskell code.

I am looking forward to meeting fellow Haskellers at the conference. There are a number of talks on computer graphics, user interfaces, and education that look particularly interesting.

Paul Hudak predicted way back in 2000 that Haskell has the potential to revolutionise graphics and multimedia programming. I believe that we've only just begun to tap this potential, and I'm sure we'll be seeing an increase in the use of Haskell in these areas in coming years.


Wanna find out more? Jump to the Programme Page!


Tom Ellis will give a talk at the Haskell eXchange to explain how Haskell programs are executed





I'm really looking forward to speaking at Haskell eXchange and explain how Haskell programs are executed.

Laziness lets us write elegant and compact code but can be unfamiliar and sometimes confusing. I'm looking forward to explaining how Haskell programs are executed and the impact on memory usage.

My talk will shed some light on a corner of Haskell which often seems rather mysterious! My talk will be suitable for new Haskellers and long-timers alike.





Wanna find out more? Jump to the 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

Check out the Highlights from Haskell eXchange 2016!


Don't miss these Special Moments with the experts from #HaskellX 2016!




Join us for the 2017 edition with more to learn from the leading experts in the Haskell field!

Fringe

Well-Typed's Guide to the Haskell Type System

Wednesday Oct 5 (day before #haskellX)

Haskell is an evolving language. With each new GHC release, there are some new features, many of which add extra power to Haskell's already remarkable type system. But which extensions are widely used? Which are stable? How can one find out how they really work? While many features are really interesting, documentation is often scarce, and scattered around in various places such as blog posts and academic papers.

Learn from this course by Andres Löh and discover an in-depth look into Haskell's type system, including the various language extensions that the Glasgow Haskell Compiler (GHC) has to offer.

HaskellXHack

Saturday Oct 8 and Sunday Oct 9 (weekend after HaskellX)

We're excited to host the Haskell eXchange Hackathon 2016 once again this year. It will be held on Saturday 8th October and Sunday 9th October at Facebook Offices in London. This is a free event for all to join in and have fun hacking with like-minded Haskell enthusiasts! Your registration here will help us prepare for an awesome couple of days.

HaskellX Bytes

Monday Nov 21 and beyond

Can't wait for the next HaskellX? Join us for this new 'byte-sized' meetup series with Haskell experts in the lead up to the next Haskell eXchange! Stay tuned and check out this page for more info on regular updates!

Sponsors

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
    • Engage with 150 highly experienced and passionate Haskell developers and mathematicians exploring functional programming, Haskell and the Haskell stack! Show off your team, projects, tools or devices at your #HaskellX conference booth!

      Brand Visibility Benefits
      • Your logo (large) on all #HaskellXweb pages
      • Your own dedicated partner page on skillsmatter.com
      • Your logo (large) on all in-venue conference banners
      • Visibility of your brand and your support for #HaskellX in regular social media updates.
      Engagement Benefits
      • Your own booth at #HaskellX (160x80cm)
      • Your sponsored message with hot linked logo in the #HaskellX post-conference newsletter
      • Two items (leaflet, device, pen or notepad) included in all #HaskellX swag bags
      • Two Exhibitor Tickets
      • Two Full Conference Tickets to the conference, 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).
    • SPONSOR THE HASKELL EXCHANGE 2016 ATTENDEE BAGS!
    • Be remembered! Have your logo printed on all #HaskellX swag bags, provided to conference attendees, speakers and sponsors attending this year.

      Brand Visibility Benefits
      • Your logo on 150 #HaskellX swag bags
      • Exclusive to two swag bag sponsors only!
    • 32-BIT SPONSORSHIP
    • Brand Visibility Benefits
      • Your logo (medium) on #HaskellX web pages
      • Your own dedicated partner page on skillsmatter.com
      • Your logo (medium) on all in-venue conference banners
      • Visibility of your brand and your support for #HaskellX in regular social media updates.
      Engagement Benefits
      • Your sponsored message with hot linked logo in the #HaskellX post-conference newsletter
      • One item (leaflet, device, pen or notepad) included in 150 #HaskellX swag bags
      • Two free exhibitor tickets and one full conference ticket, 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).
    • 16-BIT SPONSORSHIP
    • Brand Visibility Benefits
      • Your logo (small) on #HaskellX web pages
      • Your own dedicated partner page on skillsmatter.com
      • Your logo (small) on all in-venue conference banners


    • T-SHIRT SPONSORSHIP
    • Be remembered! Have your logo printed on all #HaskellX t-shirts, provided to conference attendees, speakers and sponsors attending this year.

      Brand Visibility Benefits
      • Your logo on all #HaskellX t-shirts
      • Exclusive to two t-shirt sponsors only!
    • SPONSOR THE HASKELL EXCHANGE 2016 PARTY!
    • Be remembered by all conference attendees, speakers and sponsors attending the party this year! Have your logo printed on the Haskell eXchange 2015 Party beer mats and on highly visible party posters and pop-up banners, which are bound to feature in lots of pictures this year.

      Brand Visibility Benefits
      • Your logo displayed on the #HaskellX 2016 party beer mats and on the party table pop-up banners;
      • Five free tickets to the #HaskellX 2015 Party, which you can gift to your clients and team members;
      • Your logo (small) on all in-venue conference banners and on the #HaskellX 2016 Sponsor web pages;
      • Your own dedicated partner page on skillsmatter.com;
      • Exclusive to two party sponsors only!

To discuss sponsorship opportunities please contact the team:

Thanks to our sponsors

SkillsCasts
Photos
Other Years