sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-23 02:42:06 +03:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Update README.md about comparison.

Browse Source
This commit is contained in:
Yamada Ryo 2024-09-25 02:43:10 +09:00
parent 1e7321fe1a
commit f7ee057227
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -216,7 +216,7 @@ Examples with explanations in Japanese can be found in the [docs-ja/examples/](h
| freer-simple | No | Multi-shot | Yes | Yes | Yes | continuation-based | Medium |
| Polysemy | Yes | No | Yes | Yes | Yes | weaving-based (functorial state) | Slow |
| Effectful | Yes | No | Yes | No (based on the `IO` monad) | Yes | IO-fused | Fast |
| eff | Yes | Multi-shot? (restriction?: [^4]) | Yes | No (based on the `IO` monad) | Yes | continuation-based & IO-fused | Fast? |
| eff | Yes | Multi-shot | Yes | No (based on the `IO` monad) | Yes | continuation-based & IO-fused [^6] | Fast? |
| speff | Yes | Multi-shot (restriction: [^4]) | Yes | No (based on the `IO` monad) | Yes | continuation-based & IO-fused | Fast |
| in-other-words | Yes | Multi-shot? | Yes | Yes | No? | carrier dependent | ? |
| mtl | Yes | Multi-shot (`ContT`) | Yes | Yes | No | carrier dependent | Slow |
@ -228,6 +228,7 @@ Examples with explanations in Japanese can be found in the [docs-ja/examples/](h
[^3]: Effects do not appear in the type signature and can potentially cause unhandled errors at runtime
[^4]: Scoped Resumption only. e.g. Coroutines are not supported.
[^5]: https://github.com/sayo-hs/heftia/issues/12
[^6]: https://github.com/hasura/eff/issues/12
Heftia can simply be described as a higher-order version of freer-simple.
This is indeed true in terms of its internal mechanisms as well.