We descibe a new method for polymorphic type inference for the dynamically typed langeuage scheme. the method infers both types and explicit run-time type operations for a given program. it can be used to statically debug scheme programs and to give a high-level translation to ML, in essence providing an"embedding" of scheme into ML. The Result of type and ocercion inference can be trans-lated into a type correnct ML program. Based on this we have developed a prototype scheme-to-ML translator for a subset of IEEE scheme. In this paper we give an introduction to the type theoretic framework of polymorphic dynamic typing, describe the pases of te type inference process, nad give some examples of the resulting scheme-to-ML translator.
展开▼
