David Feuer
David Feuer
I think of `Unsafe` as having much stronger stability expectations than `Internal`.
> That sounds fine in theory, but in practice I haven't seen `Internal` modules being unstable at all (at least since I have been paying attention to it). You write...
As promised, here's the working draft. It's incomplete and *completely* unbenchmarked.
@augustss I'm sure this code is nonsense under MicroHs, but the error message it gives me looks equally nonsensical.
This still isn't benchmarked, but it's much closer to complete. The main thing I haven't tried applying it to is `liftA2`.
@meooow25 Do you have any general thoughts?
Hmm.... Benchmarks are not working out at all. I don't yet know what goes wrong.
I'd like to take one more look at it after I finish waking up and mixing dough.
Edge cases. When $m=0$, it's not nice to blow up. If you have a better way to suggest, please go ahead.
The tricky thing is that there are two variables. Readers will want to know what happens as $n$ increases without bound when $m=0$.