groups
/
prescheme
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
PreScheme aka Pre-Scheme https://groups.scheme.org/prescheme/
4 Commits 1 Branch 0 Tags 44 KiB
HTML 99.7%
Shell 0.3%
Go to file
Lassi Kortela caa7f6b8e7 Add Pre-Scheme for Guile 2022-11-19 00:07:15 +02:00
scripts Add scripts 2022-08-03 23:14:51 +03:00
www/1.3 Add manual 2022-08-03 23:14:40 +03:00
.gitignore Add initial draft of main page 2022-08-03 23:15:15 +03:00
README.md Add Pre-Scheme for Guile 2022-11-19 00:07:15 +02:00

README.md

PreScheme

Overview

PreScheme (also spelled Pre-Scheme) is a statically typed dialect of Scheme that gives the programmer the efficiency and low-level 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 PreScheme 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 PreScheme programs are evaluated at compile time, which gives the user additional control over the compiler's partial evaluation of a program.

PreScheme has been implemented and used to write a byte-code interpeter and associated support code for a complete Scheme implementation.

Manuals

Implementations

Scheme 48

VLISP

No known public release.

SPS

SPS is a Pre-Scheme to (GNU) C compiler written in Pre-Scheme.

Written in 1999.

GitHub

Pre-Scheme for Guile

A port of Pre-Scheme from Scheme 48 to Guile.

Started in 2022.

GitLab

Research papers

From the MITRE Corporation:

  • A Verified Compiler for Pure PreScheme (1991)
  • The VLISP PreScheme Front End (1992)
  • A Verified Run-Time Structure for Pure PreScheme (1992)
  • The Revised VLISP PreScheme Front End (1993)
  • The VLISP Verified PreScheme Compiler (1995)
  • A Verified Compiler for Multithreaded PreScheme (1996)

From Kelsey:

  • Pre-Scheme: A Scheme Dialect for Systems Programming (1997)