Linear-generics Alternatives

Similar projects and alternatives to linear-generics

linear-base

10 333 5.9 Haskell linear-generics VS linear-base

Standard library for linear types in Haskell.
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better linear-generics alternative or higher similarity.

Suggest an alternative to linear-generics

linear-generics reviews and mentions

Posts with mentions or reviews of linear-generics. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-03-11.

What is the longterm status of -XLinearTypes ?
2 projects | /r/haskell | 11 Mar 2022

Thanks for your interest in linear types. The sort of overarching answer is that the Covid crisis has put a serious wrench in our plans. There has been very little progress on the implementation in the past 2 years, I'm afraid. I hope to slowly pick up the pace again this year. But I make no promise as to specific plans just yet. When we have more visibility, we will publish a roadmap. This is not to say that nothing has happened at all: linear-base is getting a pretty significant release any day now, David Feuer (no affiliated with Tweag) has created linear-generics, an implementation of Generic which is compatible with linear types (there is a surprisingly subtle issue with Generic1, in particular, that I don't understand very well, so won't try to explain), we co-wrote two academic articles as well.
Implementing Generic1 using Generic
1 project | /r/haskell | 15 Oct 2021

I'm probably going to use a version of this in linear-generics.

Stats

Basic linear-generics repo stats

Mentions

Stars

Activity

4.0

Last Commit

14 days ago

linear-generics/linear-generics is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of linear-generics is Haskell.