CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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