The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in object-orientation. By contrast, a small typed pattern calculus is able to support all the main programming styles, includingfunctional, imperative, object-oriented and query-based styles, and there is evidence that it can support a language for Web services, able to exploit datastructures about which almost nothing is known. The book is divided into three parts, on terms, types and programs, and contains many new results. First book on the pattern calculus, a new foundation for computation INDICE: Introduction.- Functions.- Data structures.- Static patterns.- Dynamic patterns.- Monomorphism.- Parametric polymorphism.- Path polymorphism.- Pattern polymorphism.- Inclusion polymorphism.- Type inference.- Structure polymorphism.- Functional programming.- Query programming.- Imperative programming.- Object-oriented programming.- References.- Index
- ISBN: 978-3-540-89184-0
- Editorial: Springer
- Encuadernacion: Cartoné
- Páginas: 230
- Fecha Publicación: 01/05/2009
- Nº Volúmenes: 1
- Idioma: Inglés