OCaml Standards Recommendations
About the OSR process
The OCaml Standards Recommendations (OSR) process is here to allow discussing standardizations of
- OCaml libraries
- Camlp4 extensions
- language features that may be implemented as a combination of libraries and Camlp4 extensions.
Who can participate ?
Everybody is welcome to the discussion, except, of course, trolls.
You will need to subscribe to the OCaml mailing-list, as this is where most of the discussion will take place.
Can you describe the process ?
- Someone describes an existing issue with the current solutions available for OCaml developers and starts documenting that situation on the Wiki (see below).
- Someone decides to launch a thread on the mailing-list wrt the situation. Please prefix such threads with [OSR].
- Discussion takes place.
- Participants complement the documentation of the situation, of existing solutions, their pros and cons.
- Participants suggest enhancements or new solutions.
- Participants volunteer to implement enhancements or new solutions.
- When the discussion starts to look like converging towards a few choices, these choices are put to vote.
- Whenever voting looks conclusive, we have a new standard recommendation.
- Document the standard recommendation with most votes (or the ones with most votes in case of near-tie) on this Wiki.
What about the core OCaml language ? What about evangelism?
While suggestions regarding the future of the core OCaml language and evangelism are interesting by themselves, the OSR is not the place to for such discussions.
Agreed-upon recommendations
Current discussions
Possible future topics
- OSR/Immutable strings
- OSR/Unicode library
- OSR/Unicode identifiers in OCaml - By Xavier Leroy's approval, an exceptional topic dealing with changes to the base language.
- Normalizing modules¹ dealing with integer arithmetics so as to allow drop-in replacement of integer arithmetics.
- Creating a common repository of general, compatible, up-to-date camlp4 extensions (using p4ck maybe ?)
- OSR/Ports-like management system
¹ remark (bluestorm) : i've done some tests on this topic, see numeric.ml / .mli. for comments, send an email