Synopsis
Understand how to reveal types at compile time in high-level languages This book presents practical methods to determine the runtime types of objects during compilation, using SETL as a primary example. It explains how type information can speed code and reduce repeated work inside loops, without sacrificing flexibility in declaration-free languages. In clear, accessible terms, the work introduces a formal system for representing type knowledge and shows how to apply two complementary methods to infer types. It also covers implementing a typefinder in SETL and discusses how these ideas translate to languages with lower-level features. Real-world examples illustrate the kind of information that the typefinder can produce and how it can support optimization and safer program behavior.
- Two concrete methods for deducing runtime types from definitions and uses
- How to map type knowledge into a practical analyzer and an associated SETL implementation
- Examples of applying type information to real programs and potential applications
- Discussion of extending the approach to other languages and environments
"synopsis" may belong to another edition of this title.
