February 2020

  • The concept of Haskell type witness
    Type Witnesses in Haskell
    In this article, we look at the concept of type witness. The target audience of this post is people who are still new to extensions such as DataKinds, GADTs, ExistentialQuantification.
  • Haskell in industry: Riskbook
    Haskell in Production: Riskbook
    To continue our series on Haskell in production, we have an interview with Jezen Thomas, the CTO of Riskbook.
  • Lorentz: Implementing Smart Contract eDSL in Haskell
    Lorentz: Implementing Smart Contract eDSL in Haskell
    Together with the TQ Group, we have been working on several tools that use Haskell to improve writing and testing Michelson code on Tezos. This is the first post in a series about one of them — Lorentz, a Haskell eDSL for Michelson smart contracts.