Standard library for linear types in Haskell. (by tweag)

Linear-base Alternatives

Similar projects and alternatives to linear-base based on common topics and language

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-base alternative or higher similarity.

Suggest an alternative to linear-base

Reviews and mentions

Posts with mentions or reviews of linear-base. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-03-11.
  • Does Haskell allow pure functions to use *encapsulated* impurity | 2021-08-11
    See here for a linear quicksort implementation.
  • Monthly Hask Anything (March 2021) | 2021-03-11
    Handle is defined in terms of UnsafeResource (in linear-base). This is where the linearity checking "stops". If you pattern match an UnsafeResource then you have to make sure that you correctly close/free it. Luckily, this only has to be implemented once in an internal module and is not exported in the public interface.
  • Tweag - linear-base makes writing Linear Haskell easy and fun | 2021-02-11
    If you are referring to the specific relative monads discussed in this issue. We'll need to improve inference in the compiler first. | 2021-02-11
    The optics sublibrary is not very developed yet. Because our arrays, which are one of the principal use-case, require a special kind of lens which we haven't managed to produce without too much code duplication yet. The design space is discussed in this issue.
  • Monthly Hask Anything (January 2021) | 2020-12-31
    So to write a function f :: a %1 -> () you have to traverse the whole datatype a, see the Data.Unrestricted.Internal.Consumable and Data.Unrestricted.Internal.Instances, which introduces a type class consumable which implements exactly this functionality.
  • Ephemeral Purely Functional Data Structure And | 2020-12-30
    I think the solution to the problem with empty might be to use the Ur (for "unrestricted") datatype from linear-base: | 2020-12-30
    Trying to run empty Ur shouldn't typecheck, because the Ur constructor is not linear. This seems to be an idiom used in other places of linear-base.


Basic linear-base repo stats
6 days ago

tweag/linear-base is an open source project licensed under MIT License which is an OSI approved license.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Find remote jobs at our new job board There are 36 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.