Blog: Haskell

In the third post of our Template Haskell series, we look at the changes made to typed Template Haskell in GHC 9 and show how to use th-compat to write TTH code that will work with both GHC 8 and GHC 9.

In this article, we will show you how to implement simple parser combinators from scratch and how to use the Megaparsec library to implement a parser for S-expressions.

What's the Foldable typeclass, what are its methods, and where can it be used? Find the answers in our beginner-oriented article on Foldable.

Read our interview with Avi Press, the CEO & co-founder of Scarf, to find out the pros and cons of using Haskell for developing production-level applications.

In this article, we'll look at the overlapping instances error. We'll try to understand the many variants of it, and what the error means in each of those cases.

Extend your Template Haskell knowledge by learning about typed Template Haskell, a part of TH that lets you provide stronger, static guarantees about the correctness of your meta-programs.

In this article, we'll look at how you can make storage migratable in Lorentz, our Haskell eDSL for the Michelson smart contract language.

In this post, we talk about Dependent Haskell and show how it could be used to simplify and improve the code in a large production codebase.

Learn how GHC analyzes Haskell code to type-check it in the correct order and what are the flaws of the current implementation.

What is the Haskell Foundation, and what are its goals? Learn more by reading our interview with Andrew Boardman, the Executive Director of the Haskell Foundation.

Learn more about servant-util, our new library that helps servant users with webserver-database integration.

Get started with Template Haskell, a language extension for compile-time metaprogramming in Haskell.