Overview
Well-Typed is a consultancy that companies hire to build, repair, and speed up software written in Haskell1. Alongside that client work, the firm looks after the shared tools Haskell programmers build with, starting with the compiler that turns Haskell code into a running program2.
Cardano's node software, the program that keeps a copy of the chain's records and checks new transactions, is written in Haskell, which puts Well-Typed close to the chain in two ways. Its engineers worked under contract with Input Output on Cardano itself, and by the firm's own account one consultant was responsible for the overall architecture of the consensus layer, the part that settles which version of the chain's history everyone agrees on3. The steadier link is less visible: the compiler and build tools Well-Typed maintains are the ones Cardano's software is built with2,4.
Key Features
- Haskell work from the people who maintain Haskell. Well-Typed sells software development, code review, testing, and performance tuning, staffed by one or more consultants per project1. Its consultants are among the named maintainers of the Haskell compiler, its build tool, and its editor support server2.
- Paid upkeep for tools that cost nothing to use. A Haskell Ecosystem support package comes in four published tiers, buying a client developer time and regular meetings with the maintainers while funding maintenance the wider community uses free. A fifth of the price is passed on to support the Haskell Foundation2.
- Small-group training at a fixed price. Four set courses cover getting started in Haskell, performance tuning, the type system, and security work. About half of class time is hands-on exercises, with a target group of three to ten people working on their own machines5.
- A public record of what the maintainers did. Well-Typed publishes a quarterly report on its compiler, build-tool, and editor-tooling work, written by the staff who did it and naming the clients who funded it6.
- A free Haskell show on YouTube. The Haskell Unfolder is a live-streamed series hosted by two of the firm's consultants, who take viewer questions in the chat and publish each episode's code samples to a companion repository7.
What to Expect
The site is small and organized around what the firm sells: consultancy, training, ecosystem support, and open source1. There is no product to sign up for and no dashboard to log into. For a casual reader the most useful page is the team listing, which names roughly twenty consultants and where each of them works from8.
The blog is where the substance sits. It carries the quarterly maintenance reports6, technical write-ups drawn from client projects, and a tag that collects the firm's Cardano and Plutus posts9. One of those posts explains how Cardano's consensus layer is put together and what the hard fork combinator does, the component that lets the chain move from one set of ledger rules to the next without rewriting the switching logic each time10.
Developers get more out of the GitHub organization, which holds the libraries and tools the firm wrote, among them a binary-encoding library, a generic-programming library, and a Haskell debugger11. Companies with a Haskell codebase are the paying audience. Engagements are remote-first, short projects are accepted, and rates fall for longer commitments1.
