Skip to content

OCaml

A functional programming language with an emphasis on expressiveness and safety.

Mostly friendly. Welcome, with extra rules.

Homepage Repository

AI-assisted contributions are judged on merit. Contributors must have written or reviewed every part, take responsibility for provenance, and disclose significant AI-generated code, PR descriptions or comments with the tool used. Bug reports should contain only human-verified information, with any LLM content clearly separated.

Policy by area

Code contributionsPatches, pull requests and other changes written with AI tools.
Mostly friendly
  • AI use must be disclosed
  • Contributor takes full responsibility
  • A human must review the output
  • Output must be license-compatible
Issues & bug reportsBug reports, security reports and issues found or written with AI tools.
Mostly friendly
  • AI use must be disclosed
  • A human must review the output
AI-written textPull request descriptions, issue comments and summaries written by AI.
Mostly friendly
  • AI use must be disclosed
  • A human must review the output

In their own words

Code contributions

We ask that you have either written, or read and reviewed yourself, every part of your contribution. You are responsible for its quality.

OCaml guidelines for AI-assisted contributions

When you submit code, however it was written, you take responsibility for its provenance.

OCaml guidelines for AI-assisted contributions

Issues & bug reports

a bug report should be to the point and contain only human-verified information.

OCaml guidelines for AI-assisted contributions

Moreover, mixing human and LLM-generated contents in the same report without a clear separation should be imperatively avoided.

OCaml guidelines for AI-assisted contributions

AI-written text

If a significant portion of your code, PR description, review comments or messages has been AI-generated, this must be disclosed, stating which tool was used and for what.

OCaml guidelines for AI-assisted contributions

Sources