Linear system enables keeping track of resources, for example to ensure they are released.
- open() -> LinearHandle
- read(LinearHandle)
- close(~LinearHandle) # consume the resources
Linearly Typed
- Type System
-
ATS
ATS implements a Dependently Typed and Linearly Typed system.
This work is licensed under a Creative Commons Attribution 4.0 International License