haskell-effectful/effectful
1
1
Fork 0
mirror of https://github.com/haskell-effectful/effectful.git synced 2024-11-22 22:14:21 +03:00
Code Issues Projects Releases Wiki Activity

Release 0.0.0.0 for name reservation

Browse Source
This commit is contained in:
Andrzej Rybczak 2021-06-12 15:15:04 +02:00
parent 5575af17a0
commit 3fb274ed4e
3 changed files with 14 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGELOG.md
View File

@ -1,2 +1,2 @@
# effective-0.1.0.0 (2021-mm-dd)
* Initial release.
# effective-0.0.0.0 (2021-06-12)
* Initial alpha release.

15
README.md
View File

@ -1,8 +1,12 @@
# effective
[![Build Status](https://github.com/arybczak/effective/workflows/Haskell-CI/badge.svg?branch=master)](https://github.com/arybczak/effective/actions?query=branch%3Amaster)
[![Hackage](https://img.shields.io/hackage/v/effective.svg)](https://hackage.haskell.org/package/effective)
A simple, yet powerful extensible effects library (in the making).
*Note:* this is a pre-release.
A performant, easy to reason about extensible effects library with seamless
integration with the existing Haskell ecosystem.
Main features:
@ -13,7 +17,7 @@ Main features:
3. Correct semantics in presence of runtime exceptions (no more lost or
discarded state).
4. Seamless integration with existing Haskell ecosystem (`exceptions`,
4. Seamless integration with the existing ecosystem (`exceptions`,
`monad-control`, `unliftio-core`, `resourcet`).
5. Effects can be defined for either
@ -26,8 +30,7 @@ Main features:
## Motivation
Let's address the elephant in the room. Do we really need yet another library
for handling effects? There's
Do we really need yet another library for handling effects? There's
[freer-simple](https://hackage.haskell.org/package/freer-simple),
[fused-effects](https://hackage.haskell.org/package/fused-effects),
[polysemy](https://hackage.haskell.org/package/polysemy),
@ -36,7 +39,7 @@ for handling effects? There's
Unfortunately, of all of them only `eff` is a promising proposition because
of reasonable performance characteristics (see the talk "Effects for Less"
linked below for more information) and potential for good interoperability with
existing ecosystem.
the existing ecosystem.
The second point is arguably the most important, because it allows focusing on
things that matter instead of reinventing all kinds of wheels and is crucial for
@ -59,7 +62,7 @@ support for them has been accepted).
On the other hand, if support for continuations is excluded from the handler
monad, then the ability to define effects with non-linear control flow (such as
`NonDet`) is lost. I'll argue it's a small price to pay for predictability,
`NonDet`) is lost. Arguably it's a small price to pay for predictability,
because such specialized effects are needed rarely and locally, at which point a
dedicated, well established solution such as
[conduit](https://hackage.haskell.org/package/conduit),

6
effective.cabal
View File

@ -1,7 +1,7 @@
cabal-version: 2.4
build-type: Simple
name: effective
version: 0.1.0.0
version: 0.0.0.0
license: BSD-3-Clause
license-file: LICENSE
category: Control
@ -9,8 +9,8 @@ maintainer: andrzej@rybczak.net
author: Andrzej Rybczak
synopsis: A simple, yet powerful extensible effects library.
description: A simple, yet powerful extensible effects library with seamless
integration with the Haskell ecosystem.
description: A performant, easy to reason about extensible effects library with
seamless integration with the existing Haskell ecosystem.
extra-source-files: CHANGELOG.md