Corpus ID: 3750399

Resource Polymorphism

@article{MunchMaccagnoni2018ResourceP,
  title={Resource Polymorphism},
  author={Guillaume Munch-Maccagnoni},
  journal={ArXiv},
  year={2018},
  volume={abs/1803.02796}
}
We present a resource-management model for ML-style programming languages, designed to be compatible with the OCaml philosophy and runtime model. This is a proposal to extend the OCaml language with destructors, move semantics, and resource polymorphism, to improve its safety, efficiency, interoperability, and expressiveness. It builds on the ownership-and-borrowing models of systems programming languages (Cyclone, C++11, Rust) and on linear types in functional programming (Linear Lisp, Clean… Expand
Kindly bent to free us
Efficient Deconstruction with Typed Pointer Reversal (abstract)
Josephine: Using JavaScript to safely manage the lifetimes of Rust data
A resource modality for RAII

References

SHOWING 1-10 OF 68 REFERENCES
Compiling with Types
A Type System for Bounded Space and Functional In-Place Update
Portable and high-level access to the stack with Continuation Marks
Practical affine types
Linear Types can Change the World!
  • P. Wadler
  • Computer Science
  • Programming Concepts and Methods
  • 1990
Linear Haskell: practical linearity in a higher-order polymorphic language
Adoption and focus: practical linear types for imperative programming
Quantified types in an imperative language
...
1
2
3
4
5
...