Haskell is not not ML Export

@article{citeulike:478487, abstract = {We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without favoring either. IL's type system includes negation (continuations), but not implication (function arrow). Within IL we find that lifted sums and products can be represented as the double negation of their unlifted counterparts. We exhibit a compilation function from IL to AM --- an abstract von Neumann machine --- which maps values of ordinary and doubly negated types to heap structures resembling those found in practical implementations of languages in the ML and Haskell families. Finally, we show that a small variation in the design of AM allows us to treat any ML value as a Haskell value at runtime without cost, and project a Haskell value onto an ML type with only the cost of a Haskell deepSeq. This suggests that IL and AM may be useful as a compilation and execution model for a new language which combines the best features of strict and non-strict functional programming.}, author = {Rudiak-Gould, Ben and Mycroft, Alan and Jones, Simon P.}, booktitle = {European Symposium on Programming}, citeulike-article-id = {478487}, citeulike-linkout-0 = {http://research.microsoft.com/~simonpj/papers/not-not-ml/index.htm}, keywords = {calculus, duality, lambda, logic, symmetric, type}, posted-at = {2006-09-04 13:34:09}, priority = {0}, title = {Haskell is not not ML}, url = {http://research.microsoft.com/~simonpj/papers/not-not-ml/index.htm}, year = {2006} }

TY - JOUR ID - citeulike:478487 L3 - citeulike-article-id:478487 N2 - We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without favoring either. IL's type system includes negation (continuations), but not implication (function arrow). Within IL we find that lifted sums and products can be represented as the double negation of their unlifted counterparts. We exhibit a compilation function from IL to AM --- an abstract von Neumann machine --- which maps values of ordinary and doubly negated types to heap structures resembling those found in practical implementations of languages in the ML and Haskell families. Finally, we show that a small variation in the design of AM allows us to treat any ML value as a Haskell value at runtime without cost, and project a Haskell value onto an ML type with only the cost of a Haskell deepSeq. This suggests that IL and AM may be useful as a compilation and execution model for a new language which combines the best features of strict and non-strict functional programming. TI - Haskell is not not ML T2 - European Symposium on Programming KW - calculus KW - duality KW - lambda KW - logic KW - symmetric KW - type AU - Rudiak-Gould, Ben AU - Mycroft, Alan AU - Jones, Simon PY - 2006/// UR - http://research.microsoft.com/~simonpj/papers/not-not-ml/index.htm ER -