3 ms·
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?
by runeks 9y ago
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?
- danharaj 9y agoIn 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.