linear VS eff

Compare linear vs eff and see what are their differences.

linear

Low-dimensional linear algebra primitives for Haskell. (by ekmett)

eff

🚧 a work in progress effect system for Haskell 🚧 (by hasura)
Our great sponsors
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • Scout APM - A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
linear eff
2 7
168 470
- 1.3%
5.3 0.1
about 1 month ago 12 months ago
Haskell Haskell
BSD 3-clause "New" or "Revised" License ISC License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

linear

Posts with mentions or reviews of linear. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-06-02.
  • Probabilistic modelling in Idris: engineering as research
    reddit.com/r/Idris | 2021-06-30
    I've come to love the linear approach, where instead of working with Naperian (Representable) functors, you work with Distributive functors.
  • Monthly Hask Anything (June 2021)
    reddit.com/r/haskell | 2021-06-02
    See also the linear library, it contains types like data V3 a = V3 a a a with all of the useful instances.

eff

Posts with mentions or reviews of eff. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-08-27.
  • Languages that don't support Error-Catching as a Control Structure?
    There are a few languages that have algebraic effect systems, most notably Haskell, but these systems are implemented as libraries, not baked into the language (which can have advantages and disadvantages).
  • The Problem of Effects (2020)
    news.ycombinator.com | 2021-08-27
    Let me tell you what I'm worried about with effects systems: One of the smartest people I know of has a library called Eff https://github.com/hasura/eff that efficiently implements effects through some modifications to GHC. The thing is, she's pretty much stopped working on because she found some really nasty semantic edge-cases that she couldn't resolve to her satisfaction. (I don't understand the problems well enough to describe them, and I think they're specific to lazy languages, but it has left me cautious about the effect model in general.)
  • Thoughts on polysemy?
    reddit.com/r/haskell | 2021-07-26
    eff was supposed to solve (some of) the above problems, but it's stalled now.
  • A solid GUI Framework for Haskell?
    reddit.com/r/haskell | 2021-06-27
    Why do you need a GUI library, if you can write your application using extensible effects frameworks, just choose any and enjoy!
  • Monthly Hask Anything (June 2021)
    reddit.com/r/haskell | 2021-06-02
  • I’ve tried to learn Haskell several times. But keep failing
    reddit.com/r/haskell | 2021-06-01
    It means that you can see a type signature like this and you know immediately how it will provide what you want in the context of an arbitrary monad "stack." It means that when you are looking to understand how to use e.g. MegaParsec it doesn't surprise you that the discussion of the relevant monads is the first thing in the tutorial. It means you know why this exists https://hackage.haskell.org/package/scotty-0.12/docs/Web-Scotty-Trans.html and maybe you can even fumble through https://docs.servant.dev/en/stable/cookbook/hoist-server-with-context/HoistServerWithContext.html and use it in your app even if you don't otherwise understand all the type-level magic happening in Servant. You'll also understand what to do if you're faced with a type signature in IO or Maybe or whatever concrete monad and you have to integrate it with a more generalized monad. You may also start to understand why everyone is so interested in effect systems.
  • Eff - a functional programming language based on algebraic effect handlers
    Great to see it's actively developed. And curious to see how it races with https://github.com/hasura/eff

What are some alternatives?

When comparing linear and eff you can also consider the following projects:

frp-zoo - Comparing many FRP implementations by reimplementing the same toy app in each.

nuha

freer-simple - A friendly effect system for Haskell

fused-effects - A fast, flexible, fused effect system for Haskell

moving-averages

nimber - Finite nimber arithmetic

hoogle - Haskell API search engine

search - infinite search in finite time with Hilbert's epsilon