Circle C++ with Memory Safety
Memory safety
Safety tour
The safe context
Lifetime safety
Type safety
Thread safety
Interfaces
Open issues
Roadmap
Index
Keywords
Capabilities
Download
Circle C++ with Memory Safety
Index
Index
Keywords
addr
- pointer to object
choice
- first-class sum type
cpy
- copy
drp
- drop
dyn
- type erasure
interface
- customization point
match
- pattern matching
mut
- permit mutation
rel
- relocate
safe
unsafe
Capabilities
Array
Slices
Tuple
where-clauses
« Previous
Next »