cleff | codex | |
---|---|---|
5 | 3 | |
104 | 65 | |
- | - | |
0.0 | 0.0 | |
over 1 year ago | about 3 years ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cleff
-
Implicit parameters vs ReaderT
I ended up using a different approach to guiding inference in my project, but I still thought the IP way was cool
- Comparing ZIO to Haskell effects libraries like Polysemy?
-
Effect Zoo for Scala 3
Consider 2 Haskell projects: Cleff and Effectful. They both are extensible effect systems, built around ReaderT design pattern. At their core, they use fused ReaderT + IO monad, with extensible environment. This architecture is very similar to ZIO's. All 3 even share the same limitation - inability to express nondeterminism (not very relevant fact, but I just want to emphasize the similarity).
-
[ANN] effectful - an easy to use, performant extensible effects library
cleff and effectful are very similar, to the point that I offered to join forces (for the record, majority of the conversation refers to things that are no longer true for both libraries as we inspired each other to fix most quirks :). The main difference is the internal environment - in effectful it's mutable, while in cleff it's immutable. All differences pretty much grow from this. The main ones:
-
[ANN] cleff - fast and consise extensible effects
I'm pleased to announce cleff, a new extensible effects library for Haskell: https://github.com/re-xyr/cleff.
codex
-
Implicit parameters vs ReaderT
https://github.com/ekmett/codex/tree/master/engine is a nice demonstration, in particular the fact that user code in there all runs in IO directly, with no mtl-like interpreter overhead.
-
Who still uses ReaderT?
https://github.com/ekmett/codex/blob/65617cb7a05b74f3a6e9ca7149facf1cf043e6aa/engine/src/Engine.hs#L48 is terrifying looking, but a couple of years back when I was playing with it, I'll confess the user-facing story was great:
-
Calling C++ from Haskell
https://github.com/ekmett/codex/blob/master/harfbuzz/core/Graphics/Harfbuzz/Buffer.hs#L234
What are some alternatives?
effectful - An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Truth - Changes and Pinafore projects. Pull requests not accepted.
fused-effects - A fast, flexible, fused effect system for Haskell
ihp-forum - The IHP Community Forum (build with IHP)
effect-zoo - Effect Zoo for Scala
ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
effect-zoo - Comparing Haskell effect systems for ergonomics and speed
eff - 🚧 a work in progress effect system for Haskell 🚧
hpqtypes-effectful - Effectful bindings for hpqtypes
hackage-server - Hackage-Server: A Haskell Package Repository
program - A library for writing programs with environments and managed resources, written in Haskell.