| | |
Summary: Galileo97 Reference Manual. Version 2.0
A. Albano, G. Antognoni, G. Baratti, G. Ghelli, and R. Orsini*
Dipartimento di Informatica
Universit a di Pisa
Corso Italia 40, 56125 Pisa Italy
albano@di.unipi.it
*Universit a di Venezia
Corso di Laurea in Scienze dell'Informazione
Via Torino 155, 30170 Mestre Italy
September 1998
Abstract
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
structures.
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.
|
