sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-23 20:09:22 +03:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
higher-order algebraic effects done right for Haskell
28 Commits 19 Branches 10 Tags 1.2 MiB
Haskell 99.6%
Shell 0.4%
ae7a49012a
Go to file
Yamada Ryo ae7a49012a
[fix] bugs that caused Freer and Heftia's pure to infinity loop and in type-level member judgment of the sum types. 
[add] some example codes.
2023-09-06 18:08:06 +09:00
heftia [fix] bugs that caused Freer and Heftia's pure to infinity loop and in type-level member judgment of the sum types. 2023-09-06 18:08:06 +09:00
heftia-effects [fix] bugs that caused Freer and Heftia's pure to infinity loop and in type-level member judgment of the sum types. 2023-09-06 18:08:06 +09:00
.gitignore initial commit. 2023-08-25 13:23:49 +09:00
cabal.project [add] handlers for the Reader effect. 2023-09-01 21:59:56 +09:00
CLA Change the license to MPL. 2023-08-29 15:27:29 +09:00
CONTRIBUTING.md Change the license to MPL. 2023-08-29 15:27:29 +09:00
LICENSE Change the license to MPL. 2023-08-29 15:27:29 +09:00
NOTICE Add a notice of MPL. 2023-09-01 22:34:38 +09:00
README.md Change the license to MPL. 2023-08-29 15:27:29 +09:00

README.md

Heftia

Heftia, a composition of hefty trees and co-Yoneda, is a higher-order effects 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.

This library provides Heftia monads and Freer monads, encoded into data types in several ways to enable tuning in pursuit of high performance.

Your contributions are welcome!

Please see CONTRIBUTING.md.