CMU Artificial Intelligence Repository
Soft Scheme: Practical soft type system for Scheme.
Soft Scheme provides the benefits of static typing for dynamically
typed Scheme. Like a static type checker, a soft type checker infers
types for variables and expressions. But rather than reject programs
containing untypable fragments, a soft type checker inserts explicit
run-time checks to transform untypable programs to typable form.
These run-time checks indicate potential program errors, enabling
programmers to detect errors prior to program execution. Soft type
checking minimizes the number of run-time checks in the compiled code,
enabling dynamically typed languages to attain the efficiency of
statically typed languages like ML.
Version: 0.08 (11-JAN-94)
Ports: Tested in Chez Scheme and SCM. Should run in any R4RS Scheme.
Copying: Copyright (c) 1993 by Andrew K. Wright.
Use for educational and experimental purposes is permitted.
Modifications must be returned to the author.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Andrew Wright
Authors!Wright, Rice University, Scheme!Code,
Scheme!Extensions, Soft Scheme, Static Typing, Type Checking
Andrew K. Wright and Robert Cartwright, "A practical soft type system
for Scheme", Rice University Technical Report TR93-218, December 6, 1993.
Last Web update on Mon Feb 13 10:36:15 1995