C++ linter based on linear types

Resource | v1 | created by jjones |
Type Paper
Created 2020-09-14
Identifier unavailable


Low-level programming requires careful management of system resources, most notably memory. In C++ programmers are encouraged to follow idioms like RAII and smart pointers to handle resources correctly as violating them leads to unsafe code. Typed functional programming languages guarantee safe automatic memory management, but are often sub-optimal in handling system resources. A nice, formal solution to handling resources naturally is linear types. Unfortunately, existing languages that support linearity are cumbersome and require explicit, complicated annotations from the programmer.


about Linear type system

Linear types corresponds to linear logic and ensures that objects are used exactly once, allowing the...

about Static program analysis

Static program analysis is the analysis of computer software that is performed without actually execu...

Edit details Edit relations Attach new author Attach new topic Attach new resource
8.0 /10
useless alright awesome
from 1 review
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 5.0 /10
beginner intermediate advanced
Resource clarity 7.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 6.0 /10
none basics intermediate advanced expert
Comments 1
0 0

8 rating 5 level 7 clarity 6 user's background

Great intro to linear types (no C++ knowledge necessary)