sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-26 11:32:21 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

[add] description about the semantics to README.md.

Browse Source
This commit is contained in:
Yamada Ryo 2024-07-17 02:58:39 +09:00
parent f5482eab47
commit d03e273cc1
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -1,10 +1,13 @@
# Heftia
# Heftia: Higher-order effects done right
[![Hackage](https://img.shields.io/hackage/v/heftia.svg?logo=haskell&label=heftia)](https://hackage.haskell.org/package/heftia)
[![Hackage](https://img.shields.io/hackage/v/heftia-effects.svg?logo=haskell&label=heftia-effects)](https://hackage.haskell.org/package/heftia-effects)
Heftia is a higher-order effects version of Freer.
This library provides "[continuation-based semantics](https://github.com/lexi-lambda/eff/blob/master/notes/semantics-zoo.md)" for higher-order effects, the same as [lexi-lambda's eff](https://github.com/lexi-lambda/eff).
Instead of using the `IO` monad to implement delimited continuations for effects, this library uses `Freer` monad.
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,