Skip to content

Conversation

@lpw25
Copy link
Contributor

@lpw25 lpw25 commented Oct 24, 2019

From the summary:

OCaml's module system has great facilities for structuring your code
in the large. It supports encapsulation, parameterisation and even
recursion. Unfortunately not all of these facilities are available
across multiple files. The -pack feature allows you to group
multiple files together under an interface, but there isn't really
a way to parameterise a group of files all at once, or to allow
recursion amongst a group of files.

This proposal aims to support parameterisation of groups of files
and recursion amongst groups of files by extending functors and
recursive modules to work on groups of files via the -pack
mechanism.

Unlike a "typical" RFC this work has already been largely implemented by @OCamlPro-Couderc. Much of this text has been recycled from an earlier project plan -- so its possible some parts of the design have been adjusted slightly since then.

@lpw25 lpw25 mentioned this pull request Oct 24, 2019
@lpw25
Copy link
Contributor Author

lpw25 commented Dec 12, 2019

Github has screwed up this PR, it no longer updates when the base branch changes. I'm going to close it and open a new one.

@lpw25 lpw25 closed this Dec 12, 2019
@lpw25
Copy link
Contributor Author

lpw25 commented Dec 12, 2019

See #11

@gasche gasche added rfc and removed rfc labels Apr 14, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants