Summary: Galileo97 Reference Manual. Version 2.0
A. Albano, G. Antognoni, G. Baratti, G. Ghelli, and R. Orsini*
Dipartimento di Informatica
Universita di Pisa
Corso Italia 40, 56125 Pisa Italy
*Universita di Venezia
Corso di Laurea in Scienze dell'Informazione
Via Torino 155, 30170 Mestre Italy
Galileo97 is a statically scoped functional conceptual language. Functions are rst
class values which can be passed as parameters, returned as values and embedded in data
Galileo97 is an interactive language. A session is a dialogue of questions and answers
with the Galileo97 system.
Galileo97 is a statically and strongly typed language. Every expression has a type,
which is determined statically. The type of an expression is usually automaticallyinferred
by the system, without needing of type de nitions. The Galileo97 type system guarantees
that any expression that can be typed will not generate type errors at run time.