Linear type system

Topic | v1 | created by jjones |

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.


is Substructural type system

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

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...