Re:Linear types can change the world (1990) [pdf]
by runeks on Tuesday January 09, 2018 @04:31PM
(#16110305)
What’s the essential difference between the approach described in the linked paper, and the one Haskell is taking? And what makes you favor the former?
[ Parent
| on HN ]
Re:Linear types can change the world (1990) [pdf]
by danharaj on Tuesday January 09, 2018 @04:45PM
(#16110421)
In System L the evaluation contexts are first class and treated symmetrically with values. This goes beyond the functional paradigm. The Haskell proposal seeks to implement functional aspect of linear logic.