Open online edition

Introduction to the Egison Programming Language

An open online book about the Egison programming language, covering pattern-match-oriented programming, computer algebra, tensor computation, and differential geometry.

Egison Development Team

Start reading Browse contents

Egison Book

About this book

Egison is a programming language designed to make pattern matching and mathematical notation first-class tools. This book introduces the language from its foundations and develops practical techniques for symbolic and tensor computation.

What you will learn

  1. 01

    Pattern matching

    Describe patterns directly, even for sets, multisets, graphs, and other non-free data types.

  2. 02

    Computer algebra

    Work with symbolic expressions, simplification rules, and extensible mathematical functions.

  3. 03

    Tensor notation

    Express tensor calculations and differential geometry with index notation.

Complete book

Contents

Front Matter

  1. Preface

Introduction

  1. 1What is Programming Egison

Pattern-Match-Oriented Programming

  1. 2A Quick Tour of Egison
  2. 3Introduction to Pattern-Match-Oriented Programming
  3. 4The Benefits of Pattern-Match-Oriented Programming
  4. 5The Mechanism of Egison Pattern Matching
  5. 6Defining Matchers
  6. 7Several Features as a Functional Programming Language
  7. 8Sweet Egison -- A Haskell Library for Egison Pattern Matching

Egison as a Computer Algebra System

  1. 9Introduction to Computer Algebra Systems
  2. 10Handling Mathematical Expression Data
  3. 11The Simplification System in Detail
  4. 12Tensor Computation
  5. 13Function Symbols
  6. 14Differential Geometry with Egison

The Future of Egison

  1. 15Goals and Directions for Egison Development

Appendices

  1. APattern-Match-Oriented Programming Exercises
  2. BExercises for Egison as a Computer Algebra System
  1. Bibliography
  2. Index
This book in another language: English, 日本語