Vi beskriver genomförandet av förstklassiga polymorfa avgränsade fortsättningar i programmeringsspråket Scala. Vi använder Scalas pluggbara maskinskrivningsarkitektur för att implementera ett enkelt typ- och effektsystem, som diskriminerar uttryck med kontrolleffekter från dem utan och exakt spår svarar typmodifiering som uppstår av kontrolleffekter. För att ta itu med problemet med att genomföra förstklassiga fortsättningar under de ogynnsamma förhållanden som Java VM, använder vi en selektiv CPS-transform, som drivs helt av effekt-annoterade typer och lämnar ren kod i direkt stil. Riktmärken visar att denna strategi på hög nivå fungerar på ett konkurrenskraftigt sätt.
I samband med Scala har enkla typ-och-effektsystem använts för att genomföra avgränsade fortsättningar, baserat på en typriktad selektiv CPS transform REF.
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
{'venue': 'ICFP', 'journal': None, 'mag_field_of_study': ['Computer Science']}