Arnaud Spiwack

A few thoughts to make this more helpful and precise. - All of the bullet points have an example of syntax, accompanied with a short English description of the effect....

Another discussion of interest that this proposal raises: there is a language of subterm selection and such in `rewrite strategies`. How does it compare with this proposal?

> The conclusion is, imo, that we should not use names to drive reduction under binders. So let's find another way... This is a bit strong a statement, I think....

> No. The argument "we are already doing it wrong" is just wrong. I think you will all easily agree that this was not my argument. My point was that,...

Hi, sorry for the delay: I've been away, then catching up on the things that happened while I was away. I'd take a `ByteStream` type, yes. I actually strongly believe...

Hi @kephas , thanks for your PR. Is this `safeIndex` (or just `index`) something that you have some need for. Because in the discussion on #471 , we seem to...

As I've commented in the GHC issue, I think we should be quite careful before considering such things as linear. I suppose that we can argue that with current knowledge,...

I agree. I don't think it was on purpose that we wrongly used `toLinear` in `splitAt`, we were just sloppy.

I think the project is pretty dormant at the moment, unfortunately. Some of the choices we've made in the latest iteration seem to have not panned out, and the project...

@michaelpj you can always configure the number of parallel tasks of a GHC program by passing `+RTS -N2 -RTS` (here only two parallel tasks) anyway, so I think you're good...