Heftia: The Final Word in Haskell Effect System Libraries - Part 1.4
First, we need to investigate precisely when the performance of higher-order effects, such as Local, becomes noticeably slow in realistic use cases. This mea...
Posts by Tag
heftia
Heftia: The Final Word in Haskell Effect System Libraries - Part 1.3
From here, I will describe the issues associated with the current general IO monad approach and the broader Haskell effect ecosystem.
Heftia: The Final Word in Haskell Effect System Libraries - Part 1.2
Let’s start with performance. You can find all performance measurements for version 0.7 here. Below is a benchmark result of a typical real-world use case in...
Heftia: The Final Word in Haskell Effect System Libraries - Part 1.1
heftia is the first-ever fully type-safe and performant effect system, not just among Haskell libraries but historically across all effect system implementat...
[OUTDATED] Is it possible to reconcile UnliftIO and continuations?
First, there is a higher-order effect for UnliftIO that can be used: Data.Effect.Unlift.UnliftIO. When the UnliftIO higher-order effect is in the effect list...
[OUTDATED] Higher-Order Effects Done Right: How the Heftia Extensible Effects Library Works
This article is intended for the Haskell Extensible Effects (EE) community, focusing on “higher-order effects” and “delimited continuations.” It explains the...
outdated
[OUTDATED] Is it possible to reconcile UnliftIO and continuations?
First, there is a higher-order effect for UnliftIO that can be used: Data.Effect.Unlift.UnliftIO. When the UnliftIO higher-order effect is in the effect list...
[OUTDATED] Higher-Order Effects Done Right: How the Heftia Extensible Effects Library Works
This article is intended for the Haskell Extensible Effects (EE) community, focusing on “higher-order effects” and “delimited continuations.” It explains the...