• Corpus ID: 5559193

Type-level module aliases : independent and equal

@inproceedings{Garrigue2014TypelevelMA,
  title={Type-level module aliases : independent and equal},
  author={Jacques Garrigue and Leo White},
  year={2014}
}
The richness of ML’s module system theoretically allows one to flexibly structure libraries, without requiring extra features found in other languages, such as namespaces. Nested structures allow one to define hierarchies of modules, and functors provide flexible linking. However, while this may be true from an internal point of view, the module system alone does not account for all aspects of libraries. A prominent problem is how to map module names to the file system. Another is how to… 
Modular implicits
TLDR
Modular implicits are based on type-directed implicit module parameters, and elaborate straightforwardly into O Caml’s first-class functors, leading to a system that naturally sports many features from other languages with systematic ad-hoc overloading.

References

SHOWING 1-10 OF 12 REFERENCES
Path resolution for recursive modules
TLDR
A decidable type system which can reconstruct the necessary type information during type checking of recursive modules is presented, and algorithms for resolving forward references in recursive modules are developed, by confining ourselves to first-order functors.
Recursive modules for programming
TLDR
This paper proposes a type system for recursive modules, which can infer their signatures, and presents a solution to the expression problem, in support of the design choices.
Hierarchical modularity
TLDR
This article provides a language for specifying where individual modules fit into a hierarchy and how they are related semantically, and describes the implementation of CM, the compilation manager for Standard ML of New Jersey.
The OCaml system release 4.07: Documentation and user's manual
TLDR
This manual documents the release 4.07 of the OCaml system and gives an overview of the language, as well as describing the modules provided in the standard library.
Open Source Software
Not-for-profit applications such as Linux, Mozilla, and the Apache Web Server which essentially grant the user freedom of use, freedom of modification and freedom of ownership. The development of
The SML/NJ Compilation and Library Manager
Better namespaces through module aliases
  • https://blogs.janestreet.com/ better-namespaces-through-module-aliases/,
  • 2014
CM: The SML/NJ Compilation and Library Manager Lucent Technologies, Bell Labs
  • CM: The SML/NJ Compilation and Library Manager Lucent Technologies, Bell Labs
  • 2002
Better namespaces through module aliases. https://blogs.janestreet.com/ better-namespaces-through-module-aliases
  • Better namespaces through module aliases. https://blogs.janestreet.com/ better-namespaces-through-module-aliases
  • 2014
Didier Rémy, and Jérôme Vouillon. The OCaml system release 4.01, Documentation and user's manual
  • Didier Rémy, and Jérôme Vouillon. The OCaml system release 4.01, Documentation and user's manual
  • 2013
...
...