RFCs
RFCs copied to clipboard
ocaml
Design discussions about the OCaml language
The RFC stems from (old thinking/discussions and) the discussion of https://github.com/ocaml/ocaml/pull/10319 . The RFC text is reproduced below. --- # Unit headers for OCaml source files ## Context In OCaml,...
This RFC proposes to add minimal support in the OCaml implementation for *uniform arrays*, which always use the standard `Array_tag` representation and never `Double_array_tag`. The compiler would offer specialized built-in...
[Rendered](https://github.com/gasche/RFCs/blob/frozen-heap/rfcs/frozen-heap.md) I have this draft RFC waiting on my laptop since November, co-designed with @damiendoligez. Today @NickBarnes and @sadiqj told me that they were thinking along similar lines, so I...
[I've replicated the proposal in this comment for ease of reading.] # Constructor unboxing ### Motivating example: compact rope representation Data structures defined in OCaml are often less compact than...
edit: I will not implement this. If someone feels like they care about this topic, they can re-open the RFC or write an up-to-date version of it.
Boxed roots
Rendered: [Movable OCaml roots for a more efficient and more flexible FFI](https://github.com/gadmm/RFCs/blob/boxroot/rfcs/boxroot.md)
This is a proposal for a new syntactic form similar to Haskell's pattern guards. @antalsz and @goldfirere helped prepare this (though mistakes are mine). [A rendered version of the proposal.](https://github.com/ncik-roberts/ocaml-RFCs/blob/pattern-guards/rfcs/pattern-guards.md)...
This RFC is more about a tooling change than a language change, but the RFC mechanism of agreeing on a spec before implementing feels appropriate here as well. The idea...
The value restriction, even in its relaxed form, makes us lose polymorphism even in cases where all functions are pure. This is especially galling for combinator libraries, where code is...
A proposal for a uniform handling of abstract types w.r.t. GADTs and injectivity. Cf. [#9042](https://github.com/ocaml/ocaml/pull/9042), [#5985](https://github.com/ocaml/ocaml/issues/5985).