Lorentz: Type-Safe Upgradeable Storage
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.
Type Families in Haskell: The Definitive Guide
Learn about type families, one of the most powerful type-level programming features in Haskell.
Compile-Time Evaluation in Haskell
In this article, we look at three ways to do compile-time evaluation in Haskell: Template Haskell, type families, and functional dependencies.
Lorentz: Generating Documentation for Smart Contracts
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.
Hackage Search: Regex-Based Online Code Search
Have you ever wanted to find something on Hackage? If yes, we have a tool for you.
DAML: A Haskell-Based Language for Blockchain
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.
Handling of Uncaught Exceptions in Haskell
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 Fintech Companies Use Haskell
Why do so many companies choose to use functional programming languages for their fintech products? Find the answer in this article.
Code Pray Love: Interview with Oli Makhasoeva
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.
Haskell to Core: Understanding Haskell Features Through Their Desugaring
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.
Lorentz: Achieving Correctness with Haskell Newtypes
In this article, we will introduce you to the use of Haskell newtypes in Lorentz, the smart contract eDSL for Michelson.
Lorentz: Introducing Complex Objects with Haskell Generics
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.