Well-Typed
Well-Typed
Well-Typed are a software consultancy company that want to help make Haskell great! We aim to build and maintain a strong Haskell community and an excellent software development platform.
We support companies that are already using Haskell, and help and encourage companies moving to Haskell. We provide application development, library and tool maintenance, project advice, and training.
Courses
-
Well-Typed's Fast Track to Haskell
Led by Andres Löh
Are you interested in a highly intensive, highly practical two day Haskell course? Join this workshop to learn Haskell's excellent capabilities for abstraction and how you can use Haskell to quickly develop correct programs that are close to a given specification.
haskell types polymorphic compiler functional-programming monads functional -
Well-Typed's Guide to the Haskell Type System
Led by Andres Löh
In this one-day course, you will take an in-depth look into Haskell's type system, including the various language extensions that the Glasgow Haskell Compiler (GHC) has to offer.
haskell types functional
Upcoming Events
-
Haskell eXchange 2019
Two days in London
Back for an eighth instalment, 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...
cryptocurrency fp ghc haskell functional-programming types haskellx
-
Algebraic Graphs
Featuring Andrey Mokhov
Are you tired of fiddling with sets of vertices and edges when working with graphs? Would you like to have a simple tree-like data type for representing graphs and manipulating them using familiar functional programming abstractions? In this talk, you will learn a new way of thinking about graphs...
haskell haskellx graph algebra -
Data Science in Haskell: Solutions and Challenges
Featuring Tom Nielsen
Data science has emerged as "the sexiest job of the 21st century" - but can existing data science infrastructure and ecosystems live up to that title? Many data scientists use dynamically typed languages such as Python, or R. In the Haskell community, you know that functional...
haskellx haskell bigdata datascience -
Change in an Immutable World – Taming IO, ST, and the Demons of Unsafety
Featuring David Luposchainsky
In Haskell, everything is immutable – yet you can print to the terminal, read files, and mutate arrays in place. There are many myths about the apparent type system breakouts and compiler hacks necessary to reconcile these principles. But as it turns out, the concepts are not contradictory at...
haskellx haskell immutable io -
Keynote: Category Theory in Life
Featuring Dr Eugenia Cheng
Category theory can be thought of as being "very abstract algebra". It is thought of as "too abstract" by some people, and as "abstract nonsense" by some others. In this talk, you will discover that while it is abstract, it is far from being nonsense. Eugenia will...
haskell haskellx category-theory -
Keynote: Compiling without Continuations
Featuring Simon Peyton Jones
GHC compiles Haskell via Core, a tiny intermediate language based closely on the lambda calculus. Almost all GHC’s optimisations happen in Core, but until recently there was an important kind of optimisation that Core really did not handle well. In this talk, you will learn what the problem was,...
haskell haskellx types monads compile compiler ghc -
Individualisation of Extensible Workflows
Featuring Arie Middelkoop
Imagine you have many small customers with a common problem that can be solved by utilizing a workflow system. This opens a market for a common solution in the form of a process description. However, as customers usually have significant differences in their requirements, the capturing of data...
haskellx haskell workflows edsl typelevel-programming attribute-grammars -
Fast XML Parsing with Haskell
Featuring Neil Mitchell
Haskell has lots of XML parsing libraries, implemented using different techniques, and offering different levels of performance. In this talk, you will learn why, until recently, even the fastest of these libraries was embarrassingly slow compared to state-of-the-art XML parsers. Neil will share...
haskellx haskell performance xml parsing ffi -
Lightning Talk: Dependent Maps
Featuring Will Jones
Sometimes you want something a bit more strongly-typed than Haskell's traditional Map and HashMap types. In this talk, you will explore a variety of increasingly-abusive solutions to try and maximise typing whilst minimising boilerplate.
haskell dependent-types -
Lightning Talk: Our Tools for Mobile Haskell Games and Apps
Featuring Ivan Perez
In this talk, you will learn about the toolchain we use at Keera Studios to create games and mobile apps.
haskell android ios mobile games testing
