Skip to main content
SpringerLink
Log in
Book cover

Pattern Calculus

Computing with Functions and Structures

  • Book
  • © 2009

Overview

Authors:
  1. Barry Jay

    1. Fac. Engineering & Information, University of Technology, Sydney, Broadway, Australia

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • This is the first book on the pattern calculus, a new foundation for computation

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 199.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 199.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Terms

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction

      • Barry Jay
      Pages 3-12

    3. Functions

      • Barry Jay
      Pages 13-22

    4. Data Structures

      • Barry Jay
      Pages 23-31

    5. Static Patterns

      • Barry Jay
      Pages 33-44

    6. Dynamic Patterns

      • Barry Jay
      Pages 45-58

    7. Objects

      • Barry Jay
      Pages 59-64

  3. Types

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Parametric Polymorphism

      • Barry Jay
      Pages 67-79

    3. Functor Polymorphism

      • Barry Jay
      Pages 81-90

    4. Path Polymorphism

      • Barry Jay
      Pages 91-103

    5. Pattern Polymorphism

      • Barry Jay
      Pages 105-111

    6. Inclusion Polymorphism

      • Barry Jay
      Pages 113-128

    7. Implicit Typing

      • Barry Jay
      Pages 129-141

  4. Programming in bondi

    1. Front Matter

      Pages 143-143
      Download chapter PDF

    2. Higher-Order Functions

      • Barry Jay
      Pages 145-147

    3. Algebraic Data Types

      • Barry Jay
      Pages 149-160

    4. Queries

      • Barry Jay
      Pages 161-168

    5. Dynamic Linear Patterns

      • Barry Jay
      Pages 169-171
Back to top

Keywords

About this book

Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation, and their impact in a larger context. The pattern calculus is the result of a profound re-examination of a 50-year - velopment. It attempts to provide a unifying approach, bridging the gaps between different programming styles and paradigms according to a new slogan – compu- tion is pattern matching. It is the contribution of this book to systematically and elegantly present and evaluate the power of pattern matching as the guiding paradigm of programming. Patterns are dynamically generated, discovered, passed, applied, and automatically adapted, based on pattern matching and rewriting technology, which allows one to elegantly relate things as disparate as functions and data structures. Of course, pattern matching is not new. It underlies term rewriting – it is, for example, inc- porated in, typically functional, programming languages, like Standard ML – but it has never been pursued as the basis of a unifying framework for programming.

Reviews

From the reviews:

"In this book the author will make you have second thoughts about the possibility and desirability of compiling away pattern matching ... It is amazing that the dynamic pattern calculus is syntactically almost as simple as the pure lambda-calculus, yet it is much more expressive." (Eugenio Moggi, University of Genoa)

“More than anyone else, he has systematically explored both the theory and practice of pattern matching. More importantly, the knowledge thus gained has been largely transcribed into this book. Carefully written, it concisely explains the concepts surrounding the integration of pattern matching into both the operational semantics and the type system of two programming paradigms--functional and object-oriented. … The audience for this book is researchers in programming language design; for them, I highly recommend this book.” (Jacques Carette, ACM Computing Reviews, January, 2010)

“This work brings a new perspective for a theory that would unify the driving forces behind the main sub-groups of programming languages … . The book addresses final year undergraduates, graduates from a research-oriented master and a broader range of specialists, experts in fields related to the foundation of computation. … the perspective exposed here can be of great use for specialists working in the design of programming languages or in the design of tools and Web services … .” (Mirel Cosulschi, Zentralblatt MATH, Vol. 1215, 2011)

Authors and Affiliations

  • Fac. Engineering & Information, University of Technology, Sydney, Broadway, Australia

    Barry Jay

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation