Tag: Haskell

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.

In this article, we'll show how you can maintain Tezos smart contract documentation with ease by using Lorentz, our eDSL for Michelson smart contracts.

Have you ever wanted to find something on Hackage? If yes, we have a tool for you.

What are the benefits of functional programming for smart contract development? Find the answer in our interview with Anthony Lusardi, a developer advocate at DAML.

We've recently built a library that makes it easy to customize handling of uncaught exceptions in Haskell applications. Read more about it in this post.

Why do so many companies choose to use functional programming languages for their fintech products? Find the answer in this article.

How to attract speakers and grow an audience for online events? We interview the main organizer of Haskell Love Conference – Oli Makhasoeva – to find out the answers to these questions.

All the myriad of Haskell features can be reduced to the few features of GHC's Core. In this article, we look at this internal language and give an overview of GHC's front-end pipeline.

In this article, we will introduce you to the use of Haskell newtypes in Lorentz, the smart contract eDSL for Michelson.

This is the second post in a series about Lorentz — a Haskell eDSL for the Michelson smart contract language. In this post, we will enrich Lorentz with additional functionality, adding objects with multiple fields.