Pre-Scheme: A Scheme Dialect for Systems Programming (1997)
| Citations: | 11 - 0 self |
BibTeX
@MISC{Kelsey97pre-scheme:a,
author = {Richard A. Kelsey},
title = {Pre-Scheme: A Scheme Dialect for Systems Programming},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Pre-Scheme is a statically typed dialect of Scheme that gives the programmer the efficiency and lowlevel machine access of C while retaining many of the desirable features of Scheme. The PreScheme compiler makes use of type inference, partial evaluation and Scheme and Lisp compiler technology to compile the problematic features of Scheme, such as closures, into C code without significant run-time overhead. Use of such features in Pre-Scheme programs is restricted to those cases that can be compiled into efficient code. Type reconstruction is done using a modified Hindley/Milner algorithm that allows overloaded user-defined functions. All top-level forms in Pre-Scheme programs are evaluated at compile time, which gives the user additional control over the compiler's partial evaluation of a program. Pre-Scheme has been implemented and used to write a byte-code interpeter and associated support code for a complete Scheme implementation. 1 Introduction High-level programming languages, su...
Keyphrases
scheme dialect pre-scheme program partial evaluation prescheme compiler lowlevel machine access user-defined function lisp compiler technology introduction high-level programming language user additional control significant run-time overhead desirable feature type reconstruction compile time modified hindley milner typed dialect complete scheme implementation efficient code problematic feature byte-code interpeter associated support code type inference top-level form
