Haskell eXchange 2016
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
Impressions of last year
Excited? Share it!
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
Invalid Time
Invalid Time
|
Registration |
|||||||||||
|
09:00
Invalid Time
Invalid Time
|
KEYNOTE
Focusing on: *Building bigger systems from smaller pieces *Reusable approaches for designing components *Techniques for making code maintainable *And ways to improve code that you come across Using examples where we *Integrate Haskell into existing systems *Use Haskell to wrap untrusted or external systems Above all, ways to reduce and manage complexity in software as the size of the system grows. |
|||||||||||
|
10:00
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
10:30
Invalid Time
Invalid Time
|
|
In this talk,
- You learn the basics of combinator based parsing in Haskell
- You are introduced to generalised parsing
- You get a glimpse of the |
Day 1, 6 Oct starts 10:30 (Room Name: CMD)
Hands On Tutorial: Build yourself a reddit bot
|
|||||||||
|
11:15
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
11:30
Invalid Time
Invalid Time
|
This combination is made possible by the underlying theory which is based on a combination of dependent type theory and linear logic. In practice, this provides a general form of program fusion (an optimization short-cutting production and consumption of data) which is part of the type system, and which can still be finely controlled. In Ling, resource allocations such as memory are explicit. Fusion may happen at each allocation point. The user controls how much fusion should happen, and the type system checks if this is possible. The resulting fusion framework is both quite general and fully predictable.
haskell
haskell-x
ling
fusion
type-theory
language-design
linearity
optimization
system-programming
About the speaker...
Nicolas PouillardHe is currently working for Liqd.net on the AuLa project (open source and written in Haskell) aiming at bringing liquid democracy to students. Previously, he was a postdoc researcher with the Demtech project at IT Univeristy of Copenhagen focusing on formalizing cryptographic voting protoctols in type theory. Before that, he was an engineer and then a PhD student in the Gallium research team at INRIA Paris Rocquencourt. At that time, he was mainly focused on the design of programming languages and in particular meta-programming. He learned programming and computer science at the engineering school of EPITA in Paris. Nicolas tweets at @npouillard, and his website can be found at https://nicolaspouillard.fr. |
haskellx
haskell
hadrian
ghc
About the speaker...
Andrey MokhovIn the last few years, Andrey was working on build systems: he is one of the developers of Hadrian, a new build system for the Glasgow Haskell Compiler, and is a co-author of the paper "Build Systems à la Carte" that provides executable models of popular build systems such as Make, Shake and Bazel. After a long academic career, Andrey has recently joined the Tools and Compilers team at Jane Street London, where he works on the OCaml build system Dune. |
Day 1, 6 Oct starts 11:30 (Room Name: CMD)
Hands On Tutorial: Build yourself a reddit bot
|
|||||||||
|
12:15
Invalid Time
Invalid Time
|
Lunch |
|||||||||||
|
13:30
Invalid Time
Invalid Time
|
|
haskell
haskellx
java
spark
ffi
interoperability
jvm
distributed-programming
About the speaker...
Mathieu BoespflugSome time before that, after having learned Haskell from the venerable old and new guard at the University of York, he wrote Haskell and Ocaml at various academic institutions, focusing on compiler technologies for dependent types during his PhD and later type safe metaprogramming for both proofs and programs. He's the main author of 30+ packages on Hackage, including language interop and Haskell support in Bazel. |
haskell
haskellx
opencv
inline-c
computer-vision
foreign-function-interface
typelevel-programming
About the speaker... |
|||||||||
|
14:15
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
14:30
Invalid Time
Invalid Time
|
haskell
haskellx
spaceleak
functional-programming
hoogle
hlint
shake
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. |
|
Luckily, you can learn to use off the shelf solutions from the Haskell ecosystem as a solution (e.g. binary, megaparsec, monad transformers, lens, lambdacube 3D). Find out more on lambdacube here.
haskell
haskell-x
opengl
gamedev
gpu
dsl
lambdacube3d
quake
game-engine
About the speaker...
Csaba HruskaI'm a software engineer and I'm into compilers and pure functional programming. I'm doing Research & Development. I'm working on the GRIN Compiler Project. (GHC, LLVM, ASM, pointer analysis, optimization) |
|||||||||
|
15:15
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
15:30
Invalid Time
Invalid Time
|
With this talk, you will discover into the operational
semantics of Haskell, by executing a couple of small programs everyone should be
haskell
haskell-x
ghc
stg
About the speaker...
David LuposchainskyWhen David isn't working or haskelling, he spends his time outdoors hiking, bouldering, mountainbiking or motorcycling. |
These techniques largely apply (though not as cleanly) to web applications written with frameworks other than servant-server - indeed, written in any language. During this talk, you may also discover how the servant ecosystem can be used to improve integration tests. Among the packages you will look at are servant-quickcheck and servant-mock. Prior experience with servant is not required. About the speaker...
Julian ArniJulian K. Arni is a Haskell consultant, founder of Turing Jump, and one of the original authors of servant. |
If you are a Haskell beginner who would like to learn more about how the Haskell type system works, this talk is for you! You would also have lots to learn if you are more advanced in the language.
haskell
haskellx
typeclasses
types
ghc
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. |
|||||||||
|
16:15
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
16:30
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||||||
|
17:30
Invalid Time
Invalid Time
|
#HaskellX 2016 Party with Pizza and Beer! |
|||||||||||
|
20:00
Invalid Time
Invalid Time
|
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
Invalid Time
Invalid Time
|
Registration |
|||||||||||
|
09:00
Invalid Time
Invalid Time
|
KEYNOTE
The approach is based upon the use of standard equational reasoning techniques, and has been applied to calculate compilers for a wide range of language features and their combination. During the talk, you will discover the basic ideas using a small example language. View the pdf publication here. |
|||||||||||
|
10:00
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
10:30
Invalid Time
Invalid Time
|
|
lumiguide
functional-programming
haskell
haskellx
About the speaker...
Bas van DijkBas previously worked as a Software Engineer for Erudify and a Haskell Hacker for Sensor Sense (Nijmegen, The Netherlands. |
Day 2, 7 Oct starts 10:30 (Room Name: CMD)
Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell
|
|||||||||
|
11:15
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
11:30
Invalid Time
Invalid Time
|
You will begin by learning how algebraic data types can model our game and give you control over the size and shape of state spaces. Furthermore, that there are trade-offs between different models and that the best model can vary depending on the task at hand. Hence, you will explore two separate models suited to implementing different parts of the game program and learn how to work with and translate between these models, starting with simple primitives and building up to implementing the complete game. Finally, the talk concludes by building a view for our model using the HsQML GUI framework in order to make a fully playable and complete application." |
The default solutions are either to invest heavily in hand-written integration tests, or use JavaScript everywhere. Neither of these are ideal. However there is a compelling alternative - use the same types everywhere. By reusing strong, static types across tiers, you can make guarantees about the consistency of the entire system, and dramatically lower the cost of change. In this talk, you will explore one approach that uses Haskell data types to drive a both a PostgreSQL database schema and a frontend system written in Elm. With one set of types to rule them all, whole system consistency is automatic and reliable, and the cost of changing types - and hence evolving the whole system’s data model - is dramatically reduced. |
Day 2, 7 Oct starts 11:30 (Room Name: CMD)
Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell
|
|||||||||
|
12:15
Invalid Time
Invalid Time
|
Lunch Break |
|||||||||||
|
13:30
Invalid Time
Invalid Time
|
KEYNOTE
Static type systems are wonderful, but they have their limits, and then you reach for dynamic type and run-time type checks. Haskell has had dynamic types for ages, in the form of the Typeable class, but recent developments has made it feasible to support type-indexed type run-time type representations. That in turn makes it possible to support dynamic typing as an ordinary Haskell library, using a very small, sharply-focused language extension. It turns out that doing this really pushes the envelope on what is possible with static type systems. Not only do you need higher kinds, kind polymorphism, and GADTs, but also kind equalities, and even heterogeneous kind equalities! It’ll be fun. And it’s all in GHC 8.0.
haskell
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. |
|||||||||||
|
14:30
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
14:45
Invalid Time
Invalid Time
|
|
|
This is just a fancy way of saying that CλaSH is a compiler for Haskell, but instead of creating machine code (like GHC), or javascript (like GHCjs), CλaSH generates digital circuits (in the form of VHDL or Verilog code). In this talk, you will learn the use of CλaSH to create your own digital circuits in Haskell, and how you can use the generated HDL code to program FPGAs. |
|||||||||
|
15:30
Invalid Time
Invalid Time
|
Coffee Break |
|||||||||||
|
15:45
Invalid Time
Invalid Time
|
Day 2, 7 Oct starts 15:45 (Room Name: CTRL)
Lightning Talks 1
|
Day 2, 7 Oct starts 15:45 (Room Name: ALT/TAB)
Lightning Talks 2
|
Day 2, 7 Oct starts 15:45 (Room Name: CMD)
Lightning Talks 3
|
|||||||||
|
16:30
Invalid Time
Invalid Time
|
Beer Break! |
|||||||||||
|
16:45
Invalid Time
Invalid Time
|
KEYNOTE
|
|||||||||||
|
17:45
Invalid Time
Invalid Time
|
#HaskellX 2016 Wrap Up! See you in 2017! |
|||||||||||
-
Checking and translating type classes
Featuring Andres Löh
Haskell programs make use of overloading extensively. As a consequence, qualified types, i.e., types containing class constraints are ubiquitous. In this talk, you will discover how a type system with type classes works internally, and how a compiler such as GHC deals with the presence of...
haskell haskellx typeclasses types ghc -
Meet Hadrian: a new build system for GHC
Featuring Andrey Mokhov
Most build systems start small and simple, but over time grow into hairy monsters that few dare to touch. Our favourite Glasgow Haskell Compiler is no exception. In this talk, you will learn that there are a few issues that cause build systems major scalability challenges, and many pervasively...
haskellx haskell hadrian ghc -
Is a type a lifebuoy or a lamp?
Featuring Conor McBride
A lifebuoy can save you when you have already fallen in the water, but it doesn't stop you falling in the water: it can help to protect you from the more serious consequences of your mistakes. A lamp helps you see what you are doing, but it doesn't stop you doing things: the extra...
haskellx haskell -
A reflection on types - Simon Peyton Jones, Microsoft Research
Featuring Simon Peyton Jones
Static type systems are wonderful, but they have their limits, and then you reach for dynamic type and run-time type checks. Haskell has had dynamic types for ages, in the form of the Typeable class, but recent developments has made it feasible to support type-indexed type run-time type...
haskell -
Everything you need to know about Haskell to be an Amateur Sewage Engineer
Featuring Robin Kay
In this talk, Robin will use the medium of building a playable Haskell clone of the classic computer game "Pipe Mania" to show how typed functional programming can be applied to create effective domain models and work with them.
haskell haskell-x algebra programming gui domain models game types -
Generating Elm data types using GHC Generics
Featuring Csongor Kiss
Haskell is well established as a backend language for client-server applications, and at the same time, new functional languages are gaining popularity on the frontend side. Implementing a client-server communication API, it is very important that there is a seamless conversion between the data...
haskell haskell-x ghc-generics elm -
Real World Servant: GetShopTV experience report
Featuring Nickolay Kudasov
Servant is a very young library, yet at GetShopTV we use it ubiquitously for our back end and to connect with external services, such as SIP and SMS. We rely heavily on types to guarantee safety and correctness. Besides that we use servant-swagger for automatic documentation and to automatically...
haskell haskell-x web type-level json api -
Creating digital circuits using CλaSH
Featuring Christiaan Baaij
CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell.
haskell haskell-x digital-circuits fpgas parallel-programming -
Haskell and OpenCV: theory and practice
Featuring Francesco Mazzoli
Thanks to recent work by Bas and Roel van Dijk at Lumiguide, it is now possible and easy to use OpenCV from Haskell. In this talk, you will discover how Haskell lets us define a typed and ergonomic API on top of the OpenCV types and functions, and how easy it is to define new bindings -- also...
haskell haskellx opencv inline-c computer-vision foreign-function-interface typelevel-programming -
Graphics, sound, fonts, and joysticks unleashed: the Junpi multimedia library
Featuring Robert Henderson
Junpi is a new free / open-source, high-performance multimedia library for Haskell, whose design is strongly guided by the development needs of real commercial games. At the heart of Junpi's design philosophy is 'instant-feedback': you change your code and see the results instantly,...
haskell haskell-x -
Types All The Way Down
Featuring Kris Jenkins
In web development, a great deal of effort is spent on consistency. The frontend, backend and database must all agree on a data-model, and if they don’t, the system crashes spectacularly.
haskell haskell-x types frontend backend javascript elm postgresql -
2
Building web application with servant, lucid, and digestive-functors
Featuring Andor Penzes and Matthias Fischmann
Servant is a library for writing routing tables on the type level. It is commonly used for micro-services and for delivering json data to single-page apps, but it is possible to use it for delivering web pages and forms, and build a low- or no-js web application with it. Aula [0, 1] is such a web...
haskell haskell-x web-app -
Controlling monadic effects with type classes
Featuring Andrzej Rybczak
The talk will focus on how to restrict effects performed by monadic computations using type classes. You will explore the pros and cons of this approach in relation to its alternatives as well as how to solve several common issues that arise, such as the problem of quadratic number of instance...
haskell haskell-x computations monad type -
Ling, a language with predictable fusion
Featuring Nicolas Pouillard
Ling is an experimental programming language combining the precision of a system-level programming language and the abstraction and safety of a pure, functional programming language.
haskell haskell-x ling fusion type-theory language-design linearity optimization system-programming -
Haskell programs: how do they run?
Featuring Tom Ellis
Haskell is a lazy language and thus differs from most other widely used languages. The way that Haskell programs are executed can be obscure to newcomers and old hands alike.
It's not actually too hard to understand how Haskell programs are executed, but it is rather unusual! This talk will...
haskellx haskell programming -
Haskell meets Java
Featuring Mathieu Boespflug
In this talk, you will discover that broad language interoperability is crucial for Haskell's success in not entirely insignificant niches such as the enterprise. And that performance of language binding mechanisms is the key to retaining good modularity. Hot on the heals of previous efforts...
haskell haskellx java spark ffi interoperability jvm distributed-programming -
Property Based Testing for your business rules too
Featuring Romeu Moura
In this talk, you will explore using QuickCheck and using it beyond technical tests or for testing algebraic properties & visual symmetries: You will dive into the rich world of Business Domain Specific properties! See that your business rules are Domain Invariants (in the DDD sense), and you...
haskell quickcheck testing algebra symmetries ddd haskellx -
Plugging Space Leaks, Improving Performance
Featuring Neil Mitchell
Confused by foldl' vs foldl? Unsure when you've got the strictness right? Programs taking too much memory and running too slow? You are not alone! Most Haskell programs suffer from "space leaks" - this talk covers examples (all only found and fixed in the last year) from the...
haskell haskellx spaceleak functional-programming hoogle hlint shake -
Functional and low-level: watching the STG execute
Featuring David Luposchainsky
The STG is the lowest functional intermediate representation of GHC-Haskell, and the gateway between the functional world and the metal. At this level, many common questions are answered, such as when stack and heap are accessed, why space leaks happen, or why certain algorithms are surprisingly...
haskell haskell-x ghc stg -
Proving and testing with servant
Featuring Julian Arni
There are several powerful mechanisms for testing applications in the servant ecosystem that are not yet widely known or documented. You will explore them, showing how you can state, sometimes as type constraints, sometimes as QuickCheck predicates, properties about entire applications, such as:
... -
Haskell in the Large - The day to day practice of using Haskell to write large systems
Featuring Donald Stewart
This talk is about the day to day practice of using Haskell to write large software systems.
-
i18n for Haskell Web Applications
Featuring Philip Cunningham
Philip will be discussing approaches to internationalising Haskell web applications in 2016. He’ll give an overview of existing libraries and tools available to Haskell web application developers, describe his experiences internationalising Haskell web applications and show where the Haskell...
haskell haskell-x -
#HaskellX Park Bench Park Discussion with Haskell experts!
Join us for the #HaskellX Park Bench Park Discussion with Haskell experts!
haskellx haskell panel -
Calculating Correct Compilers
Featuring Graham Hutton
In this talk, you will learn a new approach to the problem of calculating compilers. In particular, you will explore developing a simple but general technique that allows you to derive correct compilers from high-level semantics by systematic calculation, with all the required compilation...
compilers haskell haskellx technique semantics calculation -
Design You a Haskell Course
Featuring Jeremy Singer
In this talk, you will discover how Jeremy and team designed the learning materials for a massive open online course about Haskell, and what they found to be most effective techniques for engaging novice Haskell developers.
haskell haskell-x -
Neural Nets with Automatic Differentiation
Featuring Lars Brünjes
During this talk, you will learn how to use Haskell's powerful features for abstraction to create a Neural Network library in native Haskell that makes it easy to create complex network architectures in a type-safe and flexible way.
Automatic differentiation is used to provide painless...
haskell haskellx neural nets api differentiation -
Categories and String Diagrams
Featuring Nicolas Wu
This talk introduces string diagrams as a notation for calculating in category theory. You will learn the diagrams to better understand monads, adjunctions, and finally free monads. All of this, of course, is relevant to the curious Haskell programmer who wants to better understand abstract...
haskell haskell-x monads -
Combinators for Generalised Parsing
Featuring Thomas van Binsbergen
Many Haskell programmers write parsers using parser combinator libraries like
parsecoruu-lib, or parser generators likehappy. These systems are popular because they are easy to get started with and suitable for production applications.In particular, parser combinators libraries are popular...
haskell haskellx types combinator parsing -
Functional Programming at LumiGuide
Featuring Bas van Dijk
Join Bas for a great talk on Functional Programming!
lumiguide functional-programming haskell haskellx -
The innards of a purely functional 3D shooter game engine (influenced by Quake 3)
Featuring Csaba Hruska
In this talk, you will explore a case study on how to implement a 3D first person shooter game in Haskell. The project's goal is to mimic the Quake 3 engine, but starting from scratch using purely functional paradigm. You will discover each problem domain related to a 3D engine and game, such...
haskell haskell-x opengl gamedev gpu dsl lambdacube3d quake game-engine
-
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 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
Platinum
