2 DAY CONFERENCE

Haskell eXchange 2020

Topics covered at #haskellX

Wednesday, 4th - Thursday, 5th November, Online Conference

16 experts spoke.
Overview

The amazing community-led content you’ve come to expect — in a brand new format!

Join us online for Haskell eXchange 2020, an event created for and by the Skills Matter community.

See and hear the latest developments from thought leaders in Haskell as you unlock all of your programming creativity. Leverage the functional strength of Haskell to help overcome real-world software challenges. Don’t miss this opportunity to learn and share your skills with the world’s most vibrant Haskell gathering.


Book today and save!
Haskell eXchange 2020

This year’s Haskell eXchange will take place entirely online.

Featuring two days of expert-led talks plus breakout spaces for getting to know likeminded people from the international Haskell community.

At Skills Matter, we’ve chosen to see the events of the past year as a challenge to make our content and community more inclusive and accessible to all. Beyond the current COVID‑19 pandemic, we have a vision of a community where knowledge sharing and skills transfer are not limited by physical barriers.

We are excited about the opportunity to truly welcome the global Haskell community to this year’s Haskell eXchange. We hope to see you there!





Explore Haskell eXchange 2020

Get involved, plan your conference, or start your learning today



F# eXchange 2020 programme

View the programme

We've begun to announce our lineup in Haskell eXchange speakers. We'll be announcing speakers in the lead up to the event, but take a look at who we've announced so far.

view programme
Haskell eXchange 2020 Call for Papers

Want to speak?

The Haskell eXchange Call for Papers is now closed.

Thank you to everyone who submitted.

learn more

Haskell eXchange SkillsCast videos

Revisit Haskell eXchange 2019

View (or review) the more than 35 talks and sessions from last year's conference in our library of SkillsCast videos.

visit the library

Excited? Share it!

Programme

Day 1: Haskell eXchange 2020

All times in UTC

Track All times in UTC
12:00

Opening Remarks

12:05

The Launch of the Haskell Foundation

Simon Peyton Jones

Suitable for All Levels


nonprofit-technology haskell
12:55

Break

13:00

Winter is Coming – Even Faster

Joachim Breitner

Suitable for Beginners


haskell optimisation webassembly
13:35

Break

13:45

Smash you some Haskell on a Minikube

Mateusz Curylo

Some Knowledge Required


haskell runtimes kubernetes microservice
14:20

Break

14:25

Typecheck Your Memory Management with Linear Types

Facundo Domínguez

Suitable for Beginners


java haskell linear-types memory-management
15:00

Break

15:30

Agile Functional Data Pipeline in Haskell: A Case Study of Multicloud API Binding

Michał J. Gajda

Some Knowledge Required


haskell data-analytics case-study python api-binding multicloud
16:05

Break

16:10

User Friendly Optics

Andrzej Rybczak

Some Knowledge Required


haskell optics library
16:45

Break

16:50

Social Event: To Be Announced

18:20

End of Day 1 — See you tomorrow!

Day 2: Haskell eXchange 2020

All times in UTC

Track All times in UTC
12:00

Opening Remarks: Welcome to Day 2 of Haskell eXchange 2020

12:05

Simplifying Constraint Solving in GHC

Richard Eisenberg

Some Knowledge Required


haskell type-checking
12:45

Break

12:50

Building a Web Library Using Super Hard Haskell

Marcin Rzeźnicki

Some Knowledge Required


haskell domain-modelling ghc-rewrite datakinds ffi library-design
13:25

Break

13:40

Performance Proposal: Rhythmr, Or Semi-Automated Audio Loops (Lightning Talk)

Greg Travis

Suitable for Beginners


haskell user-interaction optimization profiling graphics audio
13:55

Break

14:00

Shpadoinkle User Interface Programming (Lightning Talk)

Isaac Shapira

Some Knowledge Required


haskell web ui
14:15

Break

14:20

Stronger Types! : A Brief Introduction to Refinement Types and Dependent Types (Lightning Talk)

Eric Bond

Some Knowledge Required


haskell dependent-types refinement-types
14:35

Break

15:10

Practical Property Testing

Tom Sydney Kerckhove

Some Knowledge Required


haskell testing
15:45

Break

15:50

Comparing Strict and Lazy

Arnaud Spiwack

Suitable for All Levels


haskell strict lazy
16:30

Break

16:40

Theorems for Free

Lars Hupel

Some Knowledge Required


haskell parametricity
17:15

Break

17:20
2

Smallpt-hs: Porting a Raytracer's Performance to Haskell

davean scies and Siddharth Bhat

Some Knowledge Required


haskell raytracer porting
18:00

Wrap Up: Thank you for attending Haskell eXchange 2020!

SkillsCasts
Other Years


Thank you to our sponsors and partners


Gold

Silver