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

Update comparison in README.md.

Browse Source
This commit is contained in:
Yamada Ryo 2024-10-17 21:22:40 +09:00
parent 8c00705e08
commit dfc35549e6
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -267,11 +267,11 @@ About the internal *elaboration* mechanism: https://sayo-hs.github.io/jekyll/upd
| `mtl` | Yes | Multi-shot (`ContT`) | Yes | Yes | No | Carrier dependent |
| `fused-effects` | Yes | No? | Yes | Yes | No | Carrier dependent & Weaving-based (functorial state) |
| Koka-lang | No | Multi-shot | Yes | No (language built-in) | Yes | Algebraic Effects |
| OCaml-lang 5 | ? | One-shot | No [^3] | No (language built-in) | ? | Algebraic Effects? |
| Eff-lang | No | Multi-shot | Yes | No (language built-in) | Yes | Algebraic Effects |
| OCaml-lang 5 | ? | One-shot | No [^3] | No (language built-in) | ? | Algebraic Effects |
[^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`.