Blog: Haskell

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.

Some time ago, we got a fantastic opportunity to interview Simon Peyton Jones, a key contributor to the design of Haskell and GHC. Read (or watch) our interview with him to find more about the past, present, and future of Haskell.

Learn more about LR parsers and how you can implement your own.

Once deployed, large-scale smart contracts can sometimes become outdated and require upgrades. In this part of our Lorentz series, we show how to make a smart contract with upgradeable storage in Lorentz.

Learn about type families, one of the most powerful type-level programming features in Haskell.

In this article, we look at three ways to do compile-time evaluation in Haskell: Template Haskell, type families, and functional dependencies.