Tutorial Elegant

An Introduction to ElegantSecond EditionPaul JansenLex AugusteijnHarm MunkPhilips Research LaboratoriesProf. Holstlaan 45656 AA EindhovenThe NetherlandsFirst Published 1993 byPhilips Research LaboratoriesPO Box 800005600 JA EindhovenThe NetherlandsPrinted in the Netherlands.Table of ContentsPreface 1Tutorial Overview 2Acknowledgments 2Preface to the Second Edition 3Preface to the Third Edition 3CHAPTER 1 Introduction 51.1 What is Elegant? 51.2 The Programming Language Elegant 81.3 The Compiler Generator Elegant 10CHAPTER 2 Getting Started 132.1 Installing Elegant 132.2 The Elegant Environment 142.3 A Very Simple Program 15CHAPTER 3 Programming in Elegant 173.1 The Elegant Type System 173.1.1 Introduction 173.1.2 Predefined Types 183.1.2.1 Basic Types 183.1.2.2 Structured Types 193.1.2.3 Empty Types 203.1.3 User Defined Types 213.1.3.1 Enumerated Types 213.1.3.2 Record Types 213.2 Functions 273.2.1 Introduction 273.2.2 Rules 293.2.3 Patterns 293.2.4 Conditions 313.2.5 Local Section 323.2.6 Statements 333.2.7 Expressions 343.2.7.1 The Iteration Expression 363.2.8 Special Use of Functions 383.2.8.1 Operators 383.2.8.2 Polymorphic Functions 403.2.8.3 Higher Order Functions* 413.2.9 Statements and their Types* 433.2.9.1 Coercion and Nameless Functions 433.2.9.2 Statements as Expressions 443.2.9.3 Empty Types and Output 453.3 Evaluation 493.3.1 Eager Evaluation 503.3.2 Lazy Evaluation* 503.3.3 Recurring Evaluation* 533 ...