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

[add] about streams in README.md.

Browse Source
This commit is contained in:
Yamada Ryo 2024-10-27 12:20:58 +09:00
parent 9087c47fdf
commit 496b37cd06
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -31,7 +31,7 @@ Research in cutting-edge languages like [Koka](https://koka-lang.github.io/koka/
Heftia extends this by supporting higher-order algebraic effects, allowing for more expressive and modular effect management. Heftia extends this by supporting higher-order algebraic effects, allowing for more expressive and modular effect management.
This leads to more maintainable and extensible applications compared to non-algebraic effect libraries, positioning Heftia at **the forefront of modern effect handling techniques**. This leads to more maintainable and extensible applications compared to non-algebraic effect libraries, positioning Heftia at **the forefront of modern effect handling techniques**.
Furthermore, **Heftia is functionally a superset of other effect libraries**, especially those based on IO. Furthermore, **Heftia is functionally a superset of other effect libraries**, especially those based on `ReaderT` over `IO`.
In other words, anything that is possible with other libraries is also possible with this library. In other words, anything that is possible with other libraries is also possible with this library.
This is because Heftia supports `MonadUnliftIO` in the form of higher-order effects. This is because Heftia supports `MonadUnliftIO` in the form of higher-order effects.
@ -44,9 +44,12 @@ This is because Heftia supports `MonadUnliftIO` in the form of higher-order effe
* Higher-order effects * Higher-order effects
* Delimited continuations (algebraic effects) * Delimited continuations (algebraic effects)
* Coroutines (non-scoped resumptions) * Coroutines (non-scoped resumptions)
* Coroutine-based, composable, and resumable concurrent streams
* Non-deterministic computations * Non-deterministic computations
* [`MonadUnliftIO`](https://hackage.haskell.org/package/unliftio) * [`MonadUnliftIO`](https://hackage.haskell.org/package/unliftio)
* Code example: [heftia-effects/Example/UnliftIO/Main.hs](https://github.com/sayo-hs/heftia/blob/v0.5.0/heftia-effects/Example/UnliftIO/Main.hs) * Examples
* [heftia-effects/Example/UnliftIO/Main.hs](https://github.com/sayo-hs/heftia/blob/v0.5.0/heftia-effects/Example/UnliftIO/Main.hs)
* [heftia-effects/Example/Stream/Main.hs](https://github.com/sayo-hs/heftia/blob/v0.5.0/heftia-effects/Example/Stream/Main.hs)
All of these interact through a simple, consistent, and predictable semantics based on algebraic effects. All of these interact through a simple, consistent, and predictable semantics based on algebraic effects.