Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement a simple type and effect system, which discriminates expressions with control effects from those without and accurately tracks answer type modification incurred by control effects. To tackle the problem of implementing first-class continuations under the adverse conditions brought upon by the Java VM, we employ a selective CPS transform, which is driven entirely by effect-annotated types and leaves pure code in direct style. Benchmarks indicate that this high-level approach performs competitively.


Publié dans:
Icfp'09: Proceedings Of The 2009 Acm Sigplan International Conference On Functional Programming, 317-328
Présenté à:
14th ACM SIGPLAN International Conference on Functional Programming, Edinburgh, SCOTLAND, Aug 31-Sep 02, 2009
Année
2009
Publisher:
Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa
ISBN:
978-1-60558-332-7
Mots-clefs:
Laboratoires:




 Notice créée le 2011-12-16, modifiée le 2018-09-13


Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)