Hi all,

I wanted to give some light feedback on this document, unrelated to the current discussion thread.

Overall, I feel this document is in a very reasonable spot, we should try this approach and gather initial data on how it performs in practice! Thanks Simon and everyone for working on this.

"R1: Recommendation: write the final version yourself" could be better softened to something like: "R1: Make a final human author-led pass." My thinking is that the current wording somewhat undermines the otherwise tool-neutral position, and could even be interpreted as a requirement in practice despite being labeled a recommendation. In my opinion, hand-typing every character isn't a relevant standard, except as a supplement to (P2).

Best,

Avi

On Sat, Aug 1, 2026 at 4:52 AM Wolfgang Jeltsch via ghc-devs <ghc-devs@haskell.org> wrote:

Am Sa 01.08.2026 12:17 schrieb Michael Peyton-Lebed via ghc-devs:
> Historically people have been able to use whatever tools they want to
> *produce* open-source contributions.

The difference is that previously people produced software with the help
of tools, while with LLMs they use tools to produce software for them.

> This is one of the reasons why I think Simon’s proposal is pretty
> good: it focusses on the part of the process that exists in the shared
> space that we all occupy: the contribution and review process; our
> growth as a community of developers who care about the project.

The growth of the community cannot be separated from the growth of its
members, and this is influenced by the tools they use.

> It seems to me that the *crux* of the most heated disagreements in
> this thread is about whether or not use of LLMs is *immoral*.

That’s not the only thing. Several people, including me, are worried
about the negative effects that LLM use will have on the codebase.

I realize that my above remarks didn’t add anything new to the
discussion, but apparently some things that were already said have been
overlooked or forgotten, so that it was probably worthwhile to repeat
them.

All the best,
Wolfgang
_______________________________________________
ghc-devs mailing list -- ghc-devs@haskell.org
To unsubscribe send an email to ghc-devs-leave@haskell.org