Haskell eXchange 2021: Novice Track
This year at Haskell eXchange we have added a special day of free, introductory talks on 15 November.
This "Novice Track" is designed for anyone who may have heard of Haskell, but isn't quite sure where to begin.
Join us for a day of free talks exploring the fundamentals of functional programming, the basics of Haskell, and real-world uses of the language.
If you're an experienced Haskell user and are looking for the Haskell eXchange: Pro Track days, click here.
Who's going to be there?
This year's speakers include:
-
Russ Olsen
on
"Functional Programming in 40 Minutes"
-
Alejandro Serrano Mena
on
"A Beginner's Guide to Haskell"
-
Christian Charukiewicz
on
"Why You Should Consider Haskell for Your Next Production System"
-
Jeroen Bransen
on
"Type-safe Redis caching at Chordify"
-
Veronika Romashkina
on
"Not My Type"
-
André van Meulebrouck
on
"Haskell: A Conversion Experience"
-
Mikael Tönnberg
on
"Rapidly growing startup + Haskell + Knowledge-as-code = 💓"
Explore Haskell eXchange 2021
Get involved, plan your conference, or start your learning today
View the program
Our 3-day online conference will feature experts and enthusiasts pushing the bounds of Haskell in both industry and academia.
Want to get involved?
Sponsoring a conference is a terrific way to support and connect with our global community of software professionals.
Learn More
Revisit 2020
View (or review) the 15 talks and sessions from Haskell eXchange 2020 in our library of SkillsCast videos.
Last year's conference featured memorable talks from the likes of Simon Peyton Jones, Mateusz Curylo, and Richard Eisenberg, plus the launch of the Haskell Foundation.
Diversity Matters Scholarship
Skills Matter offers scholarships to people from underrepresented groups in tech who wouldn't otherwise be able to attend.
If you believe you are a member of a group that is underrepresented within the tech community or at technical conferences we encourage you to apply.
Learn More
Program Committee
All of the talks at the Haskell eXchange are selected by our volunteer Program Committee which evaluates and selects which speakers and topics will be included in the conference program. This committee includes developers, practitioners and enthusiasts of all levels.
This year's Program Committee includes:
Excited? Share it!
Day 1: Haskell eXchange Novice Track
Haskell Day 1
| Track | Novice Track Stage | |||
|
12:30
Invalid Time
Invalid Time
|
Doors Open |
|||
|
12:45
Invalid Time
Invalid Time
|
Welcome & Opening Remarks |
|||
|
13:00
Invalid Time
Invalid Time
|
Functional programming has finally escaped from academia. These days developers are building real systems in functional programming languages like Clojure, Scala, Elixir and F#. Functional techniques are also seeping into more traditional languages like Java and Ruby. Unfortunately somewhere along the way functional programming has also developed a reputation for being deep and mysterious: Good programs achieve the Zen-like state of being functional which somehow involves immutability, higher order functions and being referentially transparent. In this talk Russ Olsen will strip away the cloud of mystery to uncover the simple — and wonderful — truth about functional programming: It can make your programming life easier by letting you do simple things simply while also providing you with the sharp tools you need to tackle more complex problems. |
|||
|
14:00
Invalid Time
Invalid Time
|
This talk offers a first look into Haskell and its ecosystem. We’ll explore questions like what is GHC or Cabal, how we distribute packages in the ecosystem, and what are the main sources of information in the community. After the talk, you’ll have a first map to help you in your journey to Haskell.
haskell
functional-programming
hackage
ghc
About the speaker...
Alejandro Serrano MenaAlejandro has a strong background in training functional programmers, as a speaker, lecturer, and through his books “Practical Haskell” and “The Book of Monads.” He also contributes to the Haskell community by proposing extensions and new libraries and serving on the GHC Steering Committee. |
|||
|
15:00
Invalid Time
Invalid Time
|
Haskell is a top choice for building production software systems. While Haskell does have a large surface area, with many concepts and syntax that will feel unfamiliar to programmers coming from other languages, it is unrivaled in its combination of developer productivity, code maintainability, software reliability, and performance. In this talk I will cover some of the defining features of Haskell that make it an excellent, industrial-strength language that is well-suited for building commercial software. You'll learn why we consider it our first choice for new projects, and why you should too. This talk will be part of our Haskell eXchange: Novice Track on 15 November 2021. Don't miss out |
|||
|
16:00
Invalid Time
Invalid Time
|
BREAK |
|||
|
16:30
Invalid Time
Invalid Time
|
As a software engineer, you use types to represent the domain data that you are going to work with. The way you design the type architecture for the project also sets the direction on how the product evolves and is maintained through time. This makes thinking in types a crucial and important part of any software development process in any typed language. And even if you're using dynamically typed languages, you still try to structure your data and give it some shape. Haskell's type system is one of the most powerful and developed at the moment. By using Algebraic Data Types (ADT), you can achieve extensibility, preciseness and flexibility at the same time. It's a powerful technique that greatly improves your development productivity. However, it can be challenging to think about data in terms of types. It requires good skills in designing, working and evaluating different solutions on types. Focusing only on learning how to write functions without work on designing types could lead to a lack of knowledge on how to build some more complicated systems and completely eliminate the "type-safeness" of the project. That's why I want to talk more about types as I see it as the most important, the most difficult part of learning to engineer your code. And it could help to eliminate the whole layer of errors that could be possible due to the "wrong" type design. In my talk, I'm going to dive into type systems, explain different aspects of Types, ADTs, Typeclasses and give lots of examples of how you can use types in the most beneficial way for you. I am going to walk you through the process of "making illegal states unrepresentable" and demonstrate how small changes to the type architecture of the product could lead to more precise domain representation and therefore more successful products. |
|||
|
17:30
Invalid Time
Invalid Time
|
Chordify is a popular music education platform, with a Haskell backend that handles hundreds of requests per second. To handle these requests efficiently, Redis is used as an in-memory cache. While Redis support various types of data, its type system is much more limited than Haskell's, so to work together with typed Haskell world and to prevent runtime errors, we have built a layer of Haskell code to deal with the interaction. In this talk we present our Haskell-Redis layer, which supports strongly typed keys and values, transactions (which coincide with the Applicative class), multiple Redis instances, and locking. What we find interesting about this layer is that our usage of Redis is quite standard, and found in many pieces of imperative software too, but the composability and abstractions in our library make it easy for the programmer to create complex and bug-free interactions, which believe to be a bit less common. |
|||
|
18:30
Invalid Time
Invalid Time
|
I’m Mikael — the CTO of CarbonCloud, a climate-tech SaaS company, we help the food industry to solve their part of the climate crisis. We use strongly typed functional programming languages exclusively – and that is a is a pure business decision. In this talk I’ll cover how we capture knowledge as code to enable rapid growth, increase quality, reduce number of needed tests and more easily include non-developers in discussions.
This is my attempt to show why we use strongly typed languages such as Haskell and why I think others, especially managers, should push for more these techniques and tools in their organizations. |
|||
|
19:30
Invalid Time
Invalid Time
|
I had a bug in my embedded lazy Scheme interpreter and couldn't figure it out in F#, so I did what I typically do when lost: prototype in Haskell. After a complete conversion/rewrite from F# into Haskell, all known bugs were gone. One of the biggest features of Haskell turns out to be the equational nature that allows writing and thinking with greater modularity. Haskell isn't perfect for every use case — but it's a great way to really get clear on your thinking about a problem space. In the Q&A session of this talk, an audience member requests that Andre make public the repositories for his project (Plotting and Scheming). You can find both the Haskell and F# repositories, here: https://github.com/avanmeul |
|||
|
20:30
Invalid Time
Invalid Time
|
End of Haskell eXchange 2021 Novice Track |
-
Functional Programming in 40 Minutes
Featuring Russ Olsen
Functional programming has finally escaped from academia. These days developers are building real systems in functional programming languages like Clojure, Scala, Elixir and F#. Functional techniques are also seeping into more traditional languages like Java and Ruby. Unfortunately somewhere...
code programming functional-programming -
A Beginner's Guide to Haskell
Featuring Alejandro Serrano Mena
This talk offers a first look into Haskell and its ecosystem. We’ll explore questions like what is GHC or Cabal, how we distribute packages in the ecosystem, and what are the main sources of information in the community. After the talk, you’ll have a first map to help you in your Haskell journey....
haskell functional-programming hackage ghc -
Why You Should Consider Haskell for Your Next Production System
Featuring Christian Charukiewicz
Haskell is a top choice for building production software systems. This talk covers some of the defining features of Haskell that make it an excellent, industrial-strength language that is well-suited for building commercial software. You'll learn why we consider it our first choice for new...
haskell production-systems -
Type-safe Redis caching at Chordify
Featuring Jeroen Bransen
Chordify is a popular music education platform —this talk looks at how the team at Chordify built a typed layer around the Redis in-memory cache, which prevents many potential bugs and abstracts away the nitty-gritty details of marshalling.
haskell caching redis type-safe music -
Not My Type
Featuring Veronika Romashkina
Haskell is known for its powerful type system. However, many newcomers to Haskell focus on learning to write functions at the expense of designing types — this can lead to a lack of know-how and compromise the "type-safeness" of your project. This talk explores the basics of Types.
haskell typeclasses adts types -
Rapidly growing startup + Haskell + Knowledge-as-code = 💓
Featuring Mikael Tönnberg
This talk explores why it is a pure business decision to use Haskell, and how CarbonCloud, a climate-tech SaaS company, uses it to enable rapid growth. Discover how CarbonCloud use Haskell and Knowledge-as-code to deliver high quality web applications.
haskell knowledge functional-programming climate-tech carbon-footprint -
Haskell: A Conversion Experience
Featuring André van Meulebrouck
In this session, André van Meulebrouck discusses his experience converting a plotting program with an embedded lazy Scheme interpreter from F# into Haskell.
haskell scheme-interpreter lazy plotting f#
-
Haskell eXchange 2022: Online Conference
Two days - Online Conference
We're thrilled to once again welcome the global Haskell community to join the Haskell eXchange conference via our virtual conference platform, where across 2 jam-packed days, you'll connect with like-minded Haskellers and learn new skills through practical, coding-based sessions.
software-development haskell ghc functional-programming -
Haskell eXchange 2022: In-Person Conference
Two days in London
We're thrilled to once again welcome the Haskell community to CodeNode in London, where you'll meet hundreds of like-minded Haskellers face-to-face, discuss new technologies, and learn new skills through practical, coding-based sessions, as we explore what's new and what's next in...
software-development haskell -
Haskell eXchange 2022: Novice Track
One day - Online Conference
If you've heard of Haskell, but aren't sure where to begin, join us online 7 December for a day of free talks exploring the fundamentals of functional programming, the basics of Haskell, and answers to why teams use this increasingly popular language!
software-development functional-programming beginner haskell -
Haskell eXchange 2021: Pro Track
Two days - Online Conference
Join us for the 10th annual Haskell eXchange! Hear the latest from Haskell thought leaders, while you connect with fellow Haskellers in breakout sessions, and learn new skills in practical, coding-based talks.
functional haskell ghc #functional-programming -
Haskell eXchange 2020
Two days - Online Conference
The Haskell eXchange Online is the online edition of the annual conference created for and by the Skills Matter Haskell community. An opportunity for Haskellers to meet, learn and share skills, discover emerging technologies and help evolve the Haskell ecosystem.
haskell ghc functional-programming types haskellx -
Haskell eXchange 2019
Two days in London
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...
nix monads cryptocurrency fp ghc haskell functional-programming types -
Haskell eXchange 2018
Two days in London
Back for a seventh 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...
haskell haskellx types functional-programming -
HaskellX2gether Community Weekend
Two days in London
Following up on the Haskell eXchange, we will hold a two-day Haskell eXchange Community Weekend - HaskellX2gether. Everyone is welcome, beginners and experts alike, and not just participants at the Haskell eXchange, but everyone who would like to participate in a two-day coding festival.
haskell haskellx hackathon hack functional-programming -
Haskell eXchange 2017
Two days in London
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...
haskell haskellx types functional-programming -
Haskell eXchange 2016
Two days in London
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...
types monads functional-programming haskell haskellx -
Haskell Infrastructure Hackathon 2015
Two days in London
Following up on the Haskell eXchange, we will hold a two-day Haskell Hackathon at Pivotal. Everyone is welcome, beginners and experts alike, and not just participants at the Haskell eXchange, but everyone who would like to participate in a two-day coding festival.
haskell haskellx functional-programming monads types -
Haskell eXchange 2015
Two days in London
Want to learn about the latest innovations in Haskell? Join 100+ functional programmers to learn modern approaches as well as how Haskell's application in enterprise is changing the way our industry tackles complex engineering problems.
haskellx haskell functional-programming monads types -
Haskell eXchange 2014
One day in London
Want to join the dots of the Haskell landscape? Eager to hear from those driving innovations in Haskell in various industry and academic fields? Then join Haskell experts and enthusiasts this October for London's premier Haskell conference.
haskell functional-programming monads types -
Haskell eXchange 2013
One day in London
The second edition of the Haskell eXchange returns to Skills Matter HQ on October 9th. This unique and dedicated Haskell event will pull together Haskell enthusiasts, developers, and thought leaders across Europe.
haskell clojure akka functional-programming haskellx -
Haskell eXchange 2012
One day in London
Skills Matter is proud to announce the first annual Haskell eXchange. While we're working with Neil Mitchell to put together a fantastic programme for you, we can already tell you that Simon Peyton-Jones is confirmed to make a keynote!
For updates on the latest presentations and speakers,...
haskell
Thank you to our sponsors and partners
Gold
Bronze
