Fully Integrated Data Environments

This text provides an introduction to Tycoon l , an open persistent polymorphic programming environment. The Tycoon language TL is based on expressive and orthogonal naming, typing and binding concepts as they are required, for example, in advanced dataintensive applications. The characteristic language mechanisms of TL are first -class functions and modules, parametric and sUbtype polymorphism extended to a fully higher-order type system. Tycoon programs are statically typed but may include explicit dynamic type variables which can be inspected at run-time.