Axiom the putation system-[1]-[Richard D Jenks, Robert S Sutor, S C Morrison, J M Steinbach, B M Trager, S M Watt, M Bronstein, W H Burge, T P Daly, M].pdf

文档介绍：The 30 Year Horizon
Manuel Bronstein W illiam Burge T imothy Daly
James Davenport Michael Dewar Martin Dunstan
Albrecht F ortenbacher P atrizia Gianni Johannes Grabmeier
Jocelyn Guidry Richard Jenks Larry Lambe
Michael Monagan Scott Morrison W illiam Sit
Jonathan Steinbach Robert Sutor Barry T rager
Stephen W att Jim W en Clifton W illiamson
Volume 0: Axiom Jenks and Sutor
Contents
Introduction to Axiom . . . . . . . . . . . . . . . . . . . . . . . . 1
putation . . . . . . . . . . . . . . . . . . . . 1
putation . . . . . . . . . . . . . . . . . . . . 2
Graphics . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
HyperDoc . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Interactive Programming . . . . . . . . . . . . . . . . . . 5
Data Structures . . . . . . . . . . . . . . . . . . . . . . . . 6
Mathematical Structures . . . . . . . . . . . . . . . . . . . 7
Pattern Matching . . . . . . . . . . . . . . . . . . . . . . . 8
Polymorphic Algorithms . . . . . . . . . . . . . . . . . . . 9
Extensibility . . . . . . . . . . . . . . . . . . . . . . . . . 10
Types are Defined by Abstract Datatype Programs . . . . 11
The Type of Basic Objects is a Domain or Subdomain . . 12
Domains Have Types Called Categories . . . . . . . . . . 13
Operations Can Refer To Abstract Types . . . . . . . . . 13
Categories Form Hierarchies . . . . . . . . . . . . . . . . . 14
Domains Belong to Categories by Assertion . . . . . . . . 14
Packages Are Clusters of Polymorphic Operations . . . . 15
The Interpreter Builds Domains Dynamically . . . . . . . 15
Axiom Code piled . . . . . . . . . . . . . . . . . . 16
Axiom is Extensible . . . . . . . . . . . . . . . . . . . . . 16
Using Axiom as a Pocket Calculator . . . . . . . . . . . . . . . . 17
Basic Arithmetic . . . . . . . . . . . . . . . . .