CMU Artificial Intelligence Repository
Soft Scheme: Practical soft type system for Scheme.
lang/scheme/code/ext/types/soft_scm/
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.
Origin:
titan.cs.rice.edu:public/wright/softscheme.tar.Z [128.42.1.30]
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
Keywords:
Authors!Wright, Rice University, Scheme!Code,
Scheme!Extensions, Soft Scheme, Static Typing, Type Checking
References:
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
AI.Repository@cs.cmu.edu