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.
-
Lightning Talk: Making and Testing Code Generators in Haskell
Featuring Michał Gajda
Michał and the Migamake Pte Ltd team are currently making an open source library to help produce code generators in Haskell. It facilitates generating code with syntax-checked templates and unit testing with smaller and more robust tests Michał will go through code generation approaches seen in...
haskell generators -
Porcupine: Flows Your Rows with Arrows
Featuring Yves Parès
This talk aims at presenting the porcupine Haskell library and more generally the advantages of using a more constrained framework (in this case, arrow-based) than pure functions and monads to represent parameterizable data pipelines in Haskell.
haskell constrained-framework data porcupine -
Functional Lenses Through a Practical Lens
Featuring Sara Fransson
In the greater Haskell ecosystem, as well as in various industry codebases, libraries sometimes provide lens based APIs. One of the great promises of lenses is to make it easy and smooth to work with Haskell's immutable data structures.
optics lenses haskell -
What To Do When You Have Plenty of (Non-)Haskell
Featuring Mathieu Boespflug
Codebases are hard to build. Someone somewhere invariably wants to write custom code preprocessors and generators. Teams each use their own mix of languages (Haskell, C/C++, Rust, Java{Script}, Python...). Changing code induces a lot of rebuilding and GHC requires so much CPU power that it would...
bazel build-systems haskell ghc codebases -
Keynote: Revisiting Pattern Match Overlap Checks
Featuring Simon Peyton Jones
How hard can it be to spot missing or overlapping patterns in a Haskell function definition? Surely it’s the least we can expect from a decent compiler? But when you mix in GADTs, pattern guards, view patterns, data families, strict data constructors, and pattern synonyms, matters get...
pattern-matching refactored-implementation gadt ghc haskell -
Principled Testing of Functional Reactive Systems
Featuring Henrik Nilsson
In pure functional programming, testing is greatly facilitated thanks to referential transparency guaranteeing exact reproducibility. Principled techniques such as property based testing have proved to be particularly effective. However, once you get to whole programs or entire systems, nothing...
full-reproducibility cross-platform-testing-frameworks property-based-testing frp functional-reactive-programming haskell -
Keynote: Haskell is a Great Host
Featuring Gabriele Keller
Haskell is a great host language for embedded domain specific languages, not least thanks to extensions like generalised algebraic data types, type families, and Template Haskell.
variable-binding pattern-matching accelerate type-system haskell functional-programming -
Fixing Haskell Records
Featuring Neil Mitchell
Sadly, Haskell records aren’t very good - problems include that field names must be unique and that record updates are not very expressive. A variety of solutions have been proposed over many decades, but none has gained traction. The closest answer Haskell has is the lens library, which famously...
records haskell daml -
Build Systems à la Carte
Featuring Andrey Mokhov
Build systems are used by every developer around the world but are rarely the object of study.
shake bazel dune nix haskell build-systems -
Categories and State Machines
Featuring Marcin Szamotulski
Marcin will give a short introduction to categories in Haskell, and he will present free construction of categories which embrace monadic actions and their usefulness to build state machines in Haskell.
haskell state-machines kleisli-categories categories