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.
-
Keynote — Haskell: What To Do When Success Can't Be Avoided
Featuring Sukant Hajra
For 5+ years SimSpace has been using Haskell at scale across 9 teams, collectively maintaining over 400k lines of Haskell. In this talk Sukant will share some of these team's experiences, lessons learned and helpful advice to others on a similar trajectory of using Haskell commercially.
haskell haskell-at-scale haskell-in-industry -
Designing and Verifying Programs with Formal Specification
Featuring Jacob Leach
In this talk, I will give an overview of Spectacle, a Haskell EDSL for writing formal specifications in the temporal logic of actions, and how specifications written in Spectacle can mechanically verify real-world Haskell programs.
haskell edsl specifications spectacle -
Scaling Application State Beyond Memory: A Functional Approach
Featuring Duncan Coutts
This talk presents techniques for transaction processing (OLTP) style applications to maintain a purely functional approach once we have to keep the bulk of our data on disk.
haskell application-state -
Generating fast and expressive code using LLVM and Haskell
Featuring Luc Tielen
In this talk, Luc Tielen will show how to create a language by making use of LLVM and Haskell.
haskell partial-evaluation combinators haskell-bindings llvm -
Multi-dimensional Arrays that Do Not Exist
Featuring Alexey Kuleshevich
This talk is about delayed computation techniques and their role in fusion, parallelization and stencil convolution, which are some of the core features in a high performance array processing library called massiv.
haskell delayed-arrays -
A Conceptual Introduction to Nix for Haskellers
Featuring Krzysztof Gogolewski
Nix is a package manager popular in the Haskell world, sharing many ideas with Haskell. In this talk, I will break down the essence of Nix and give you a conceptual model.
haskell nix functional-programming -
Lightning Talk: A Spectre is Haunting Haskell — The Spectre of Effects
Featuring Xiaoyan Ren
All existing effect systems have heavy performance penalty. Even mtl can betray you if you aren’t careful enough on specializing. But what if we can avoid all these — on a concrete monad with some redundant constraints?
haskell effects -
Streamly: Haskell Programmer’s Swiss Army Knife
Featuring Harendra Kumar
Streamly provides unified, declarative, and concurrent abstractions that are as simple as Haskell lists yet powerful enough to express a wide variety of practical programs idiomatically with high performance.
haskell streamly -
A tour of linear-base
Featuring Utku Demir
linear-base, the base library for the new LinearTypes extension, comes with a variety of new abstractions. In this talk, Utku Demir of Tweag I/O offers a high-level overview of these abstractions; where are they useful and what they lack (for now).
haskell linear-base linear-based -
Keynote — Generating Programs from Types
Featuring Nadia Polikarpova
Program synthesis is a promising approach to automating low-level aspects of programming by generating code from high-level declarative specifications. But what form should these specifications take? In this talk Nadia Polikarpova will advocate for using types as input to program synthesis.
haskell smt types-systems program-synthesis