Compiler I WS 2001/2002 - Slide 85
Objectives:
Understand type inference
In the lecture:
Explain how types are computed from the operations
without having typed declarations
Questions:
- How would type inference find type errors?
©2001 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 10.04.2006