Arnaud Spiwack

I have a Merge Request in flight for GHC ([!10384](https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10384)). This Merge Request really improves the code generated by linear-base. Though it doesn't seem to affect benchmarks significantly. When it...

I think I've finally got this story mostly figured out. This largely follows from @Tarmean 's thoughts above (except the borrowing part which is a different focus, and I won't...

About subtyping. A lens-to-unrestricted is not a linear lens: a linear lens lets you replace the initial value with something which contains linear free variables, something you can't do under...

Actually, I think that the definition of `UStrong` should use `Control.Functor`: ```haskell class UStrong arr where mk :: (forall f. Control.Functor f => (a -> f (Ur b)) -> (s...

Indeed! But the usual framework requires `e` to be a monoidal category, and `(*)` to map tensor product to composition and tensor unit to identity (both of which only make...

I'll need to understand it better, but I think you may be right! Thanks a bunch! @bobatkey would you believe it? After all these years I may be converted to...

For the record, @BartoszMilewski pointed out to me that another approach is to generalise actions from “monoidal categories” to “bicategories”. And shared with me two papers on the subject: -...

I… I didn't notice that Bartosz posted his message before posting mine :smile: . I had this tab open on my computer and it probably didn't update, then I saw...

Is the [linear stream](https://hackage.haskell.org/package/linear-base-0.2.0/docs/Streaming-Linear.html) sub-library from linear-base sufficient to address this?

Thoughts: It's easy to provide all the meta data as parameter to a Bazel rule. But the hard thing in a cabal file is putting bounds. I think that the...