SaaSHub helps you find the best software and product alternatives Learn more →
Effects-bibliography Alternatives
Similar projects and alternatives to effects-bibliography based on common topics and language
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better effects-bibliography alternative or higher similarity.
effects-bibliography reviews and mentions
Posts with mentions or reviews of effects-bibliography.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-09-27.
-
Better Java logging, inspired by Clojure and Rust
In addition to those 2 (which I think have phenomenal documentation), the language Eff has more theoretical introduction. There is also the Effect bibliography which has a lot of different effect system in different languages, as well as tutorials and academic papers on the subject.
- How Side Effects Work in FP
- Effects bibliography – bibliography of work related to computational effects
-
Effekt, a research language with effect handlers and lightweight polymorphism
I think it goes back to the neverending quest to find ways of representing computation that allows of ease of composition, changing implementation details, eliminating classes of errors by construction, etc. Monads have had some success in this arena, but they have notable issues with composition; monad transformers help, but can become unwieldy in their own ways.
An alternative are effects, hypothetically allowing for ease in building programs as separate but composeable components which can then be freely mixed in or swapped out. In practice I have found working with effect systems in Haskell via libraries stresses the type system so much you end up with scoped type variables and type applications everywhere. My understanding is that the theory behind using effects to structure computations comes from category theory's Lawvere theories (see e.g. Pretnar's 2010 dissertation on https://github.com/yallop/effects-bibliography). Lawvere theories give rise to many monads (see Bartosz Milewski's article on it -- https://bartoszmilewski.com/2017/08/26/lawvere-theories/), but with nicer compositional properties.
This is where languages like Effekt, Eff, Frank, and Koka come in -- by writing the entire language and type system to support the theories, a lot of the pain of expressing it in Haskell can be avoided.
-
Multicore OCaml: February 2021 with new preprint on Effect Handlers
Not really an answer but Jeremy Yallop maintains a bibliography on the theory and practice of computational effects.
-
A note from our sponsor - SaaSHub
www.saashub.com | 24 Apr 2024
Stats
Basic effects-bibliography repo stats
5
903
7.1
9 days ago
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com