Haskell eXchange 2015
Featuring two days of talks, demos and discussions, the Haskell eXchange is an opportunity for Haskellers to meet, talk, learn, share skills and exchange ideas. Everyone is welcome to join, whether an expert or a beginner, whether commercial user, academic or hobbyist.
Line Up 2015
View this year's speakers, topics and workshops/tutorials here.
The Haskell eXchange is an independent conference organised for and by the community. We are therefore looking forward to these year's talks and workshops in particular on:
- Talks about Haskell libraries and tools
- Experience reports on the use of Haskell in various environments
- Tutorials on the use of Haskell itself, or particular Haskell libraries and tools
- Coding techniques, tips and tricks
- Talks about the implementation of Haskell compilers and tools
- Ideas for language design and the future of Haskell
- Impressions of other programming languages that are related to Haskell
There will be three types of session:
- 45 minute talks
- 15 minute lightning talks
- 2+ hour hands on sessions / tutorials
Haskell Infrastructure Hackathon
There will be a Haskell Hackathon following the conference. Find out more here.
Sponsorship
If you are interested in sponsoring Haskell eXchange 2015, visit this page.
Excited? Share it!
Day 1: Thursday, October 8th, 2015
Haskell Exchange
| Track | Track 1 | Track 2 | ||||||
|
08:00
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
08:55
Invalid Time
Invalid Time
|
KEYNOTE
Day 1, 8 Oct starts 08:55
Opening & Welcome
|
|||||||
|
09:00
Invalid Time
Invalid Time
|
KEYNOTE
GHC translates all of Haskell into a tiny intermediate language called Core, does a lot of optimisations on Core, and then generates executable code. In this talk I’ll take you on a journey into Core, with several goals. First, if you ever do performance-debugging of a Haskell program you may well find yourself staring at Core dumps to understand the program that the computer is executing (it may look nothing like the one you wrote!). Second, one way to extend GHC is to write a Core-to-Core plugin to do some cool optimisation or transformation that you want; and you can only do that if you understand Core. Lastly, even if you want to do none of these things, I think you may enjoy the adventure. Core is a tiny but super-expressive language that can express all of Haskell, including all the types, and more beside. It pulls off this trick by drawing directly on System F, a mathematical calculus from type theory. Functional programming is amazing: serious theory leads directly to beautiful implementations.
haskellx
haskell
functional-programming
ghc
haskell-ghc
core-to-core
haskell-core
core
About the speaker...
Simon Peyton JonesSimon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. Simon was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely-used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University before moving to Microsoft Research (Cambridge) in 1998. His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, and garbage collection. He is particularly motivated by direct use of principled theory to practical language design and implementation -- that's one reason he loves functional programming so much. |
|||||||
|
10:00
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
10:30
Invalid Time
Invalid Time
|
haskell
functional-programming
video-transcoding
hpc
scalability
distributed-computing
haskellx
About the speaker... |
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
haskell
dsls
ocaml
web
About the speaker...
Jasper Van der JeugtHead over to Jasper's blog, check out what he is up to on Github and follow him on Twitter @jaspervdj. |
||||||
|
11:30
Invalid Time
Invalid Time
|
The story covers: - picking a dynamically-typed functional language, suffering from it and recovering; - surviving in a cruel stringly-typed world of Unix; - implementing system software in Haskell and operating it; - overcoming challenges of Haskell deployment; - using Haskell to integrate with various 3rd-party services; - successfully abandoning traditional DevOps tooling that plagues the industry. Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
haskell
functional-programming
type-theory
concurrency
web-technologies
hpc
inline-c
legacy
About the speaker... |
||||||
|
12:15
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
13:30
Invalid Time
Invalid Time
|
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
There have been multiple attempts at proving that Haskell can be used to write games, but none have been definitive enough to convince those outside the community. Keera Studios was founded as a way to turn this situation around, by creating more and more complex games and demonstrate, by example, the possibilities and benefits of functional programming. To prove that Haskell is a suitable choice for game programming, we want to do real multimedia and interact with real modern hardware, target (at least some) gaming platforms; and show that FP principles and techniques are beneficial for game development. Our work in game programming has demonstrated that Haskell is a worthy contestant. We have created games that interact with Kinect, Wiimotes and Leapmotion, use OpenGL and SDL2 (SDL is used in games such as Angry Birds) for multimedia, target mobile platforms such as Android and are available for purchase on Google Play. We have also explored different ways to take advantage of pure functional programming, either by means of an embedded DSL (like in our Cross-platform Graphical Adventure Game Engine GALE) or using FRP (Keera Magic Cookies, Keera Breakout), and also for game testing and profiling purposes. In this workshop I will demonstrate, by example, how to write games that combine these features, what to watch for, where the current challenges lie, and how we can, as a community, use the creative and fun process of game programming to bring Haskell to the world and vice versa. Whoever wants to follow the talk with their own laptops should be able to compile this haskell package: https://github.com/keera-studios/haskell-game-programming There's no need to read/process the material ahead. If it compiles, they are good to go. It usually takes just 2-7 minutes on my machine, so if they can't get it working before the talk, that's ok. I strongly recommend using a sandbox. |
||||||
|
14:30
Invalid Time
Invalid Time
|
This talk complements Bryan O'Sullivan's 2014 talk on Performance Measurement and Optimization in Haskell, by focusing more on actual optimisations, rather than measuring performance. Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
There have been multiple attempts at proving that Haskell can be used to write games, but none have been definitive enough to convince those outside the community. Keera Studios was founded as a way to turn this situation around, by creating more and more complex games and demonstrate, by example, the possibilities and benefits of functional programming. To prove that Haskell is a suitable choice for game programming, we want to do real multimedia and interact with real modern hardware, target (at least some) gaming platforms; and show that FP principles and techniques are beneficial for game development. Our work in game programming has demonstrated that Haskell is a worthy contestant. We have created games that interact with Kinect, Wiimotes and Leapmotion, use OpenGL and SDL2 (SDL is used in games such as Angry Birds) for multimedia, target mobile platforms such as Android and are available for purchase on Google Play. We have also explored different ways to take advantage of pure functional programming, either by means of an embedded DSL (like in our Cross-platform Graphical Adventure Game Engine GALE) or using FRP (Keera Magic Cookies, Keera Breakout), and also for game testing and profiling purposes. In this workshop I will demonstrate, by example, how to write games that combine these features, what to watch for, where the current challenges lie, and how we can, as a community, use the creative and fun process of game programming to bring Haskell to the world and vice versa. Whoever wants to follow the talk with their own laptops should be able to compile this haskell package: https://github.com/keera-studios/haskell-game-programming There's no need to read/process the material ahead. If it compiles, they are good to go. It usually takes just 2-7 minutes on my machine, so if they can't get it working before the talk, that's ok. I strongly recommend using a sandbox. |
||||||
|
15:30
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
15:45
Invalid Time
Invalid Time
|
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
haskell
gui
gui-programming
haskellx
About the speaker...
Oliver CharlesFast forward to 2014, and Oliver is perhaps best known for his yearly 24 Days of Hackage series of blog posts, where he spends 24 days at the end of the year blogging about different Haskell libraries. Whether it's game programming, database querying, type safety, or high performant data processing - there's probably a library about it that he's blogged about! Oliver is currently the author of a collection of Haskell libraries, a developer for CircuitHub.com, and an active speaker with the London Haskell User Group. |
||||||
|
16:05
Invalid Time
Invalid Time
|
Time permitting we will discuss future directions for HdpH and show how it relates to other distributed frameworks such as Cloud Haskell, Eden and Gum/GpH. Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
haskell
functional-programming
hdph
hdph-runtime
dsl
cloud-haskell
eden
gum
gph
About the speaker... |
|
||||||
|
16:25
Invalid Time
Invalid Time
|
Find out more about JsonGrammar here. Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
Since Docker is a fairly new technology, there is still room for exploration to find the best way to set up development environments. In this talk I will give a short introduction to Docker and I will show how I set up my development environment using Docker containers. The main benefits of this setup will be portability across dev machines and isolating the development environment. To underline these benefits, I will demonstrate how I created and deployed a chat bot using Haskell. Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
||||||
|
16:45
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
17:00
Invalid Time
Invalid Time
|
KEYNOTE
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
|||||||
|
18:00
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
Day 2: Friday, October 9th, 2015
Haskell Exchange Day 2
| Track | Track 1 | Track 2 | ||||||
|
08:00
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
09:00
Invalid Time
Invalid Time
|
KEYNOTE
functional-programming
research
haskell
About the speaker...
Simon MarlowSimon Marlow is a software engineer in the Code Search and Indexing team at Meta. For much of his career Simon has worked on the Haskell language, building large parts of the GHC compiler and its runtime system, and authoring various research publications on language design, compilers and runtime implementation. While at Meta (previously Facebook), Simon designed Haxl, a Haskell-based domain-specific language used by teams fighting abuse on Facebook. Currently he works on Glean, a system for indexing and querying source code at scale. Simon is the author of the O'Reilly book "Parallel and Concurrent Programming in Haskell". |
|||||||
|
10:00
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
10:30
Invalid Time
Invalid Time
|
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
haskell
functional-programming
build-systems
About the speaker...
Neil MitchellNeil is a strong believer in the functional approach, finding the combination of conciseness, static-typing and testability to offer significant advantages. He is currently developing a number of open source Haskell projects, all of which can be found on his Github page or on Hackage. He welcomes both contributions via pull requests and bug reports via the GitHub issue trackers. Some of my more popular projects include:
Check out Neil's blog and follow him on Twitter @ndm_haskell. |
|
||||||
|
11:30
Invalid Time
Invalid Time
|
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
haskell
scala
functional-programming
About the speakers...
Lars HupelLars Hupel is a consultant in Munich, Germany. They are known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries in a friendly, welcoming environment. A frequent conference speaker, they are active in the open source community, particularly in Scala. They also enjoy programming in and talking about Haskell, TypeScript, Prolog, and Rust. Previously, they were a PhD student at TU München in the field of logic and verification. 
Miles SabinMiles has been doing stuff with Scala for more than ten years, currently with Underscore Consulting. He is a cofounder of Typelevel and his best known project, the Scala generic programming library shapeless, is the weapon of choice wherever boilerplate needs to be scrapped or arities abstracted over. Head over to Miles' blog, check out his projects on GitHub and follow him on Twitter @milessabin. |
||||||
|
12:15
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
13:30
Invalid Time
Invalid Time
|
|
Day 2, 9 Oct starts 13:30 (Track 2)
Workshop: Hands-on introduction to Opaleye
|
||||||
|
14:30
Invalid Time
Invalid Time
|
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! |
Day 2, 9 Oct starts 14:30 (Track 2)
Workshop: Hands-on introduction to Opaleye
|
||||||
|
15:30
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
15:45
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
|
17:00
Invalid Time
Invalid Time
|
KEYNOTE
Join us at the Haskell eXchange in 2016!Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available! About the speaker...
Andres LöhAndres is very interested in applying functional programming to real-world problems, and in particular in datatype-generic programming, domain-specific languages, (dependent) type systems, parallel and concurrent programming, and the theory of version control. |
|||||||
|
18:00
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||
-
Keynote from Simon Peyton Jones - Into the Core: Understanding GHC’s Intermediate Language
Featuring Simon Peyton Jones
GHC translates all of Haskell into a tiny intermediate language called Core, does a lot of optimisations on Core, and then generates executable code. In this talk I’ll take you on a journey into Core, with several goals. First, if you ever do performance-debugging of a Haskell program you may...
haskellx haskell functional-programming ghc haskell-ghc core-to-core haskell-core core -
Keynote from Simon Marlow - Fun with Haxl
Featuring Simon Marlow
Haxl is a small framework for automatically batching and overlapping data-fetching. It was open-sourced by Facebook in 2014, and is in large-scale production use as part of Facebook's spam-filtering infrastructure. In this talk I'd like to explore some of the ways we can use Haxl to...
functional-programming research haskell -
Keynote from Lennart Augustsson - Giving Haskell Types to a Relational Algebra Library in C++
Featuring Lennart Augustsson
In this talk, Lennart will show how to design a strongly typed interface to an external library. The external library has some rather complex, dynamically checked, types. Making a strongly typed, easy-to-use version of the API uses several Haskell type system extensions, e.g., type level strings,...
haskell types strongly-typed haskellx ghc -
Keynote from Luite Stegeman - Solving the JavaScript Problem
Featuring Luite Stegeman
GHCJS is a Haskell to JavaScript compiler based on GHC. Among the improvements in the past year are official Cabal integration, support for CPU profiling and an overhaul of the ghcjs-base library. A recent addition is an experimental REPL, making it easier than ever to interact with Haskell in a...
haskell javascript web compiler -
Haskell goes DevOps
Featuring Vladimir Kirillov
This is a story of an Infrastructure team at Zalora that implemented DevOps using Haskell and Nix.
haskell functional-programming devops nix -
JsonGrammar: combinators for bidirectional JSON conversion
Featuring Martijn van Steenbergen
JsonGrammar is a combinator library for expressing bidrectional transformations between JSON expression trees (we use Aeson's Value datatype) and your own custom Haskell datatypes. Instead of writing separate fromJSON and toJSON functions, you write a single expression (a grammar) that...
haskell functional-programming json -
Haskell development with Docker
Featuring San Gillis
Tooling for Haskell development is a hot topic, since one of the biggest grievances in Haskell development is the issue of managing dependencies. Enter Docker, a tool that makes defining and running containers easy. Docker allows you to easily create reproducible environments across different...
haskell functional-programming docker dependencies container devops -
The Ludwig DSL
Featuring Jasper Van der Jeugt
Ludwig is a statically typed, declarative data description language. It's main use case is in Fugue, a product which lets you declare your cloud infrastructure in this language and then takes care of the rest. In this talk, we follow the interesting path from YAML to a statically typed data...
haskell dsls ocaml web -
Data Deduplication in Haskell: An Experience Report
Featuring Philipp Kant
Infinipool produces software to make the process of transporting and storing data more efficient. We exploit the fact that a lot of real-world data is highly redundant. By finding these redundancies explicitly, we are able to avoid transporting and storing a large portion of the data. For our...
functional-programming haskell infinipool haxl servant haskellx -
Workshop: Haskell’s ultimate challenge: Game programming for Fun and Profit - Part 1
Featuring Ivan Perez
Idealised versions of board and simple arcade games render beautiful snippets of Haskell code. But real games need to deal with user input and output, animation, sound, asset management, UI plasticity, graphics acceleration, concurrency and networking, all of which involve the outside world and...
haskell functional-programming game-programming -
Using Haskell as a Thinking Tool
Featuring Andraz Bajt
Sometimes you cannot use Haskell to solve a problem because of external constraints. Despair not! You can still use it to develop your solution. I will talk about my experience designing solution and doing mini proof of concepts in Haskell in order to implement it with some other technology. This...
haskell functional-programming -
Call C functions from Haskell without bindings
Featuring Francesco Mazzoli
Haskell programming in the real world involves interacting with myriad legacy systems and libraries, many of which are written in C and require high-performance interop. inline-c is a package for writing mixed C/Haskell source code that seamlessly invokes native and foreign functions from these...
haskell functional-programming type-theory concurrency web-technologies hpc inline-c legacy -
Scalable and Reliable Video Transcoding in Haskell
Featuring Alfredo Di Napoli
At Iris Connect we are developing a video sharing platform that is being deployed in over a thousand schools worldwide. As part of this process, the hundreds of gigabytes of videos uploaded from customers every day are a central part of our business. In this talk I will present our approach to...
haskell functional-programming video-transcoding hpc scalability distributed-computing haskellx -
The HdpH Framework for Parallel Distributed Computation
Featuring Blair Archibald
This talk will describe HdpH: A domain specific language and runtime system for distributed parallel computation. We show, by example, the simplicity of the domain specific language and the features required to specify parallel computations. A description of the HdpH runtime system, work-stealing...
haskell functional-programming hdph hdph-runtime dsl cloud-haskell eden gum gph -
Defining your own Build System with Shake
Featuring Neil Mitchell
Shake, like Make, is a tool for writing build systems. However, unlike Make, Shake features monadic dependencies (your dependencies themselves can depend on the results of previous dependencies), polymorphic dependencies (your dependencies don't have to be files) and stable dependencies (if...
haskell functional-programming build-systems -
High performance programming in Haskell
Featuring Johan Tibell
In this talk, we'll take a deep dive into how to write high performance Haskell code, using what we've learned while optimizing the core Haskell libraries. We'll focus on understanding the memory layout of Haskell data types and how it can be optimized to make your program run faster....
haskell functional-programming hpc optimization -
A new foundation for refactoring - ghc-exactprint
Featuring Matthew Pickering
In this talk, I will describe the architecture and history of ghc-exactprint. ghc-exactprint is a library which enables programmers to easily specify refactoring operations by directly modifying the GHC AST. By leveraging the GHC parser and a suitable intermediate representation, we can refactor...
haskell functional-programming refactoring ghc-exactprint haskell-ghc apply-refact haskell-src-exts haskellx -
Programming with Universal Properties
Featuring Gershom Bazerman
Often, categorists will speak about "universal properties" when discussing basic constructions. Understanding what these are can be one of the more confusing aspects of coming to terms with category theory. But it turns out that there is one weird trick that lets us take universal...
haskell functional-programming category-theory -
From Types to Web Applications
Featuring Alp Mestanogullari
Servant (http://haskell-servant.github.io/) is a recent library for writing web applications with a quite novel approach: users describe web APIs with a type-level DSL. The library then uses that description, which can be inspected and transformed for great good to:
- provide very strong type...
-
Transformers, Handlers in Disguise
Featuring Nicolas Wu
Effect handlers have recently been proposed as a new means of working with compositional effects, and threaten to replace monad transformers. Their key advantage is a cleaner way of expressing semantics since they are defined in terms of algebras. An often misunderstood aspect is how they compare...
haskell effect-handlers monads monad-transformers functional-programming -
Workshop: Haskell’s ultimate challenge: Game programming for Fun and Profit - Part 2
Featuring Ivan Perez
Idealised versions of board and simple arcade games render beautiful snippets of Haskell code. But real games need to deal with user input and output, animation, sound, asset management, UI plasticity, graphics acceleration, concurrency and networking, all of which involve the outside world and...
-
GUI Programming in Haskell: Review & Experiences
Featuring Oliver Charles
Oliver will be discussing the state of GUI programming in Haskell, briefly talking about the options available for application developers in 2015. He'll also touch on his experiences with building an interactive graphical application and where Haskell shines and where it needs to improve.
haskell gui gui-programming haskellx -
Build Your Own Proof Assistant
Featuring Mietek Bak
Are the logical foundations of your favourite programming language not entirely satisfactory? Is your everyday programming work far too useful and practical? Have I got the talk for you! We’ll learn how parametric higher-order abstract syntax (PHOAS) makes it simple and easy to embed a logic in...
program type proof proposition language logic haskell -
2
What Haskell can learn from Scala
Featuring Lars Hupel and Miles Sabin
The opinions about Scala in the Haskell community differ widely. Most will immediately point out reasons why they think Scala is complex and that Haskell is so much better. But is it really? In this talk, we will take a radically different approach: We will outline what Haskell can learn from...
haskell scala functional-programming -
Park Bench Discussion
Featuring Andres Löh
A panel discussion featuring several speakers of the #HaskellX 2015.
-
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 2021: Novice Track
One day - Online Conference
This year at Haskell eXchange we've added a special "Novice Track" day 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...
haskell 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 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
Platinum
Gold
Silver
