... | ... | @@ -13,6 +13,12 @@ The Linear Type Proposal is being discussed [ on the ghc proposal repository](ht |
|
|
|
|
|
The motivations, technical details and examples on the proposal are described in the article [ Linear Haskell: practical linearity in a higher-order polymorphic language](https://arxiv.org/abs/1710.09756) published at POPL 2018.
|
|
|
|
|
|
|
|
|
Implementation status as of July 2018: [LinearTypes/Implementation](linear-types/implementation)
|
|
|
|
|
|
|
|
|
Some motivating examples in the wiki: [LinearTypes/Examples](linear-types/examples)
|
|
|
|
|
|
## Implementation
|
|
|
|
|
|
|
... | ... | |