AriMKatz

Results 79 comments of AriMKatz

> > S4tf uses a sparse array for this. > > Do you have a link to how they do it? Do they use sparse arrays for everything? Or, how...

@torfjelde have you tried checking with jet.jl?

I think you meant to tag @peterahrens

The other potential consideration, is should this be paused for the new traits (traitor+extensible unions etc) infrastructure that was discussed on slack, or will the discussed design be futureproof?

Also, @ChrisRackauckas, how does work on zygote compatibility semantics play into this? Things like value type arrays, @MikeInnes 's https://github.com/FluxML/IArrays.jl and @Keno 's heap allocated array stuff https://github.com/JuliaLang/julia/pull/31630

There's also @tkf 's https://github.com/tkf/Mutabilities.jl which is very general. If you really want to do controlled mutability (and other effects) correctly, then you can't do better (IMO) than using algebraic...

I don't think that it does (though not sure). I think `freeze` and `thaw` are "cheaper" ways to get a subset of what a full effect handling system would provide....

I think this is more a question for folks working on escape analysis like @ianatol and @aviatesk