J Is for JavaScript: A Direct-Style Correspondence Between Algol-Like Languages and JavaScript Using Rst-Class Continuations

Download Now Free registration required

Executive Summary

It is a time-honored fashion to implement a Domain-Specific Language (DSL) by translation to a general-purpose language. Such an implementation is more portable, but an unidiomatic translation jeopardizes performance because, in practice, language implementations favor the common cases. This tension arises especially when the domain calls for complex control structures. The authors illustrate this tension by revisiting Landin's original correspondence between Algol and Church's lambda-notation. They translate domain-specific programs with lexically scoped jumps to JavaScript. Their translation produces the same block structure and binding structure as in the source program.

  • Format: PDF
  • Size: 169.61 KB