Similar projects and alternatives to linear-base based on common topics and language
Koka language compiler and interpreter
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework. (by haskell)
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
Personal website using Haskell's Servant framework and Blaze-HTML
A more elegant language for a more civilized age.
ShellCheck, a static analysis tool for shell scripts
Universal markup converter
REST API for any Postgres database
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Monthly Hask Anything (March 2021)
reddit.com/r/haskell | 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
reddit.com/r/haskell | 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.reddit.com/r/haskell | 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)
reddit.com/r/haskell | 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
reddit.com/r/haskell | 2020-12-30
I think the solution to the problem with empty might be to use the Ur (for "unrestricted") datatype from linear-base:reddit.com/r/haskell | 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.
tweag/linear-base is an open source project licensed under MIT License which is an OSI approved license.