2023-08-28 10:02:00 +03:00
|
|
|
# Heftia
|
|
|
|
|
Heftia, a composition of hefty trees and co-Yoneda, is a higher-order effects
|
2023-08-27 16:32:48 +03:00
|
|
|
version of Freer.
|
|
|
|
|
|
|
|
|
|
The paper
|
|
|
|
|
* Casper Bach Poulsen and Cas van der Rest. 2023. Hefty Algebras: Modular
|
|
|
|
|
Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7,
|
|
|
|
|
POPL, Article 62 (January 2023), 31 pages. <https://doi.org/10.1145/3571255>
|
|
|
|
|
|
|
|
|
|
inspires this library.
|
|
|
|
|
Hefty trees, proposed by the above paper, are extensions of free monads,
|
|
|
|
|
allowing for a straightforward treatment of higher-order effects.
|
|
|
|
|
|
2023-08-28 10:02:00 +03:00
|
|
|
This library provides Heftia monads and Freer monads, encoded into data
|
2023-08-27 16:32:48 +03:00
|
|
|
types in several ways to enable tuning in pursuit of high performance.
|
2023-08-25 07:23:49 +03:00
|
|
|
|
|
|
|
|
## Your contributions are welcome!
|
2023-08-29 09:27:29 +03:00
|
|
|
Please see CONTRIBUTING.md.
|
