1 DAY CONFERENCE

Haskell eXchange 2013

Topics covered at #haskellx

Wednesday, 9th October in London

7 experts spoke.

Overview

This dedicated Haskell conference will pull together enthusiasts, developers, and thought leaders across the Haskell ecosystem. To keynote the conference we're excited to announce that we've got Simon Peyton Jones! Alongside Simon we've secured talks from Simon Marlow, Neil Mitchell, and Andres Loh.

Excited? Share it!

Programme

Lenses: compositional data access and manipulation.

Haskell lets you write beautiful, modular code. Rather than waffle generally, I’ll use this talk to look at a particular example, Edward Kmett’s lovely lens library. Lenses have been called “jQuery for data types”: they give you a way to poke around in the guts of some large aggregate structure. Lenses compose (so you can make big lenses by gluing together little ones), and they exploit type classes to allow a remarkable degree of flexibility (get, set, fold, traverse, etc).

One of Haskell’s most egregious shortcomings is that you can’t use the same field name in different record types. I’ll explain how we are planning to fix that (joint work with Adam Gundry), and how the result will fit nicely into the lens world.

Simon Peyton Jones

Simon 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.

Everyone should use a Generics library - writing HLint with Uniplate

A generics library allows programmers to express only the interesting part of certain tasks, avoiding lots of boilerplate and making the code significantly shorter and more maintainable. Haskell is awash with excellent generics libraries, including Scrap Your Boilerplate, Generics for the Masses, Generic Deriving and Uniplate, yet many developers will never have used any of them. This talk explains how to use the Uniplate generics library, using examples derived from the Haskell Lint tool (HLint), which makes extensive use of Uniplate.

Neil Mitchell

Neil Mitchell is a Haskell programmer who lives in Cambridge with his wife Emily and his son Henry. Neil has a PhD in Computer Science from York University, working on making functional programs shorter, faster and safer. Since then he's worked with F# at Credit Suisse and Haskell/F#/C++ at Standard Chartered and Barclays, taking the lessons of functional programming and applying them in finance.

Compiling Haskell to Javascript with Fay

In this SkillsCast recording of a talk by Adam Bergmark, you will be able to get an introduction to Fay, a subset of Haskell that compiles to JavaScript.

Adam compares different strategies for compiling to JavaScript; what they offer from a Haskell perspective, and what's important when working with web browsers and the existing JavaScript ecosystem.

You will also see examples of how to get started with Fay covering the most important features of the language and the compiler.

About Fay - Fay is a proper subset of Haskell that compiles to JavaScript.

About Haskell - Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable, high-quality software. You can find lots of haskell related talks, meetups, skills casts, conferences and courses by Skills Matter's community here.

About JavaScript - JavaScript (JS) is a dynamic computer programming language.[5] It is most commonly used as part of web browsers, whose implementations allow client-side scripts to interact with the user, control the browser, communicate asynchronously, and alter the document content that is displayed.[5] It is also being used in server-side network programming (with Node.js), game development and the creation of desktop and mobile applications (according to Wikipedia).

Go here for lots of Javascript related talks, meetups, conferences, hackathons, courses and SkillsCasts created for and by the Skills Matter community.

Adam Bergmark

Adam is a software engineer with a deep love for functional programming and Haskell.

Monads for free!

When writing programs, it often turns out to be useful to separate the description of what to do from a concrete implementation that actually performs the actions. You can do so by turning your descriptions into pure data. Then you can analyze them, transform them, and ultimately interpret them in any way you like.

If your descriptions are imperative in nature, it's natural to try to make them monadic. But the usual suspects such as Maybe, State, or IO aren't quite suitable here: they all add a concrete monadic effect, but we'd just like to obtain an abstract description of a sequential program, that we can later interpret in a concrete way. This is what "free" monads give you. In this talk, we'll discuss what free monads are, how they work, and how you can use them.

Andres Löh

Andres Löh is a Haskell consultant and co-owner of Well-Typed LLP. He is based in Regensburg, Germany. He started using Haskell in 1997, when being an undergraduate student of mathematics in Konstanz and has been an enthusiastic functional programmer ever since. Andres obtained a PhD in Computer Science from Utrecht University in 2004, on extending the Haskell language with capabilities for datatype-generic programming. After having been a university lecturer for several years, he joined Well-Typed in 2010.

Embedded domain specific languages at Scrive

Embedded domain specific language is a particular flavor of a library with domain specific syntax, functions and types. Solutions to many problems naturally gravitate to finally take the form of an EDSL. Haskell is a particularly good host language for EDSLs. This talk presents a couple of domain specific languages that we happen to use at Scrive with lessons that we learned along the way.

Gracjan Polak

Gracjan Polak, founder of Scrive AB in 2010. Haskell is his favorite language due to static typing and purity. Other skills include Erlang,Ruby and piles of C++. Tried to get PhD at Technical Univ. Krakow, gave up half way through. Thinks that cyclin

Haskell at Erudify

As a senior software engineer at Erudify, Bas Van Dijk takes us through how he has employed Haskell at the Switzerland based start-up. Leader of Zurich's Haskell community Bas regularly takes a hands on approach in teaching error and exception handling in Haskell, as well as software transactional memory.

In this session Bas highlights what, from his experience, are the strengths and weaknesses of Haskell from both a technical as well as a business perspective.

Bas van Dijk

Bas is a CTO at LumiGuide.

The Haxl Project at Facebook

Writing code in an environment as large and complex as Facebook involves talking to many different back-end services, including databases, search engines, caches, and so forth. Each of these data sources has different characteristics and requires different access patterns to make best use of its resources.

Typical front-end code will need to access many of these resources concurrently, but the programmer doesn't want to be concerned with the details of how best to access each resource. Moreover, we want to be able to write our code in a modular way and yet have concurrent accesses to the back-end services automatically batched and overlapped for us.

This talk describes a system that we're building using Haskell that allows the front-end programmer writing business logic to access all the back-end services in a concise and consistent way, while the system handles batching and overlapping of requests to multiple data sources behind the scenes. The programming model is one of implicit concurrency: there's no fork or async operation, all external data access is implicitly performed in parallel where possible.

Simon Marlow

Simon Marlow is a Software Engineer at Facebook in London. He is working on Haxl, a Haskell-based domain-specific language that is used by the teams fighting spam and malware. Simon is a co-author of the Glasgow Haskell Compiler, author of the book “Parallel and Concurrent Programming in Haskell”, and has a string of research publications in functional programming, language design, compilers, and language implementation.

SkillsCasts
Other Years
  • Conference

    Tuesday

    16

    NOV

    2021

    12:00 UTC

    12:00 UTC

    Haskell eXchange 2021

    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
  • Conference

    Wednesday

    4

    NOV

    2020

    12:00 UTC

    12:00 UTC

    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
  • Conference

    Thursday

    10

    OCT

    2019

    08:30 AM GMT

    08:30 AM GMT

    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
  • Conference

    Thursday

    11

    OCT

    2018

    09:00 AM GMT

    09:00 AM GMT

    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
  • Conference

    Saturday

    14

    OCT

    2017

    10:00 AM GMT

    10:00 AM GMT

    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
  • Conference

    Thursday

    12

    OCT

    2017

    09:00 AM GMT

    09:00 AM GMT

    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
  • Conference

    Thursday

    6

    OCT

    2016

    09:00 AM GMT

    09:00 AM GMT

    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
  • Conference

    Saturday

    10

    OCT

    2015

    10:00 AM GMT

    10:00 AM GMT

    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
  • Conference

    Thursday

    8

    OCT

    2015

    09:00 AM GMT

    09:00 AM GMT

    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
  • Conference

    Wednesday

    8

    OCT

    2014

    09:30 AM GMT

    09:30 AM GMT

    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
  • Conference

    Wednesday

    10

    OCT

    2012

    09:00 AM GMT

    09:00 AM GMT

    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