Utku Demir
Utku Demir
This is not an issue per se, but I wrote a small `zsh` function to integrate `up`: ```zsh zle-upify() { buf="$(echo "$BUFFER" | sed 's/[ |]*$//')" tmp="$(mktemp)" eval "$buf |&...
Relevant #312 . This PR introduces a new mutable linear array type called `LArray` (`Data.LArray.Mutable.Unlifted.Linear`), which contains linear elements. And it uses that to implement a `VM` type, which is...
I spent some time benchmarking our linear collections, and wanted to create an issue with my findings. Reading from our linear arrays seems to almost an order of magnitude slower...
This discussion started at #126, where we discussed a proposed linear `Foldable` implementation and the fact that it is not implied by linear `Traversable`; and ended up concluding that what...
Currently, our `Prelude.Linear` is exporting the non-linear `IO` type; just because it is what `Prelude` has. But, we have a linear `IO` implementation, and one might argue that it should...
From comment: https://github.com/tweag/linear-base/pull/217/files#r494771420 We are lacking some numeric typeclasses from `base`, at least: ``` Prelude.Real Prelude.Integral Prelude.Floating Prelude.Fractional Prelude.RealFrac Prelude.RealFloat ``` We should have linear equivalent of those, with corresponding...
#189, which added `Data.List.Linear` module did so with liberal use of `Unsafe.toLinear`. This is error-prone, so we should reduce unsafe casts there, and only use it when re-implementing it safely...
Unlifted mutable arrays, implemented in PR https://github.com/tweag/linear-base/pull/187, has to do some unsafe calls to `runRW#`; which has some nuances to using it right, as discussed on the PR comments. So,...
Most linear data structures require a way to enforce and maintain their uniqueness. And we have a few different ways to satisfy this requirement (see #130). However, some typeclass functions...
We have a some typeclasses which is only useful with linear types, namely `Consumable`, `Dupable` or `Movable`. Hence, when writing multiplicity polymorphic functions, we should only require those constraints when...