Linear type system
Description
Linear types corresponds to linear logic and ensures that objects are used exactly once, allowing the system to safely deallocate an object after its use.
Relations
Substructural type systems are a family of type systems analogous to substructural logics where one o...
Edit details Edit relations Attach new author Attach new topic Attach new resource
Resources
treated in C++ linter based on linear types
8.0 rating 5.0 level 7.0 clarity 6.0 background – 1 rating
Low-level programming requires careful management of system resources, most notably memory. In C++ pr...