Orc Reference Manual v2.1.1

The University of Texas at Austin

https://orc.csres.utexas.edu/

2016-01-07

License and Grant Information

1. Data Values
1.1. Booleans
1.2. Numerics
1.3. Character Strings
1.4. signal
1.5. Lists
1.6. Tuples
1.7. Records
1.8. Algebraic Data Types
1.9. Closures
1.10. Mutable State
1.11. External Values
2. Expressions
2.1. Literal Value
2.2. Variable
2.3. stop
2.4. Site and Function Calls
2.5. Dot Access
2.6. Operators
2.7. if then else
2.8. lambda
3. Combinators
3.1. Parallel Combinator
3.2. Sequential Combinator
3.3. Pruning Combinator
3.4. Otherwise Combinator
4. Declarations
4.1. val: Bind Value
4.2. def: Define Function
4.3. def class: Define Site in Orc
4.4. import site: Import Site
4.5. import class: Import Class from Java
4.6. type: Declare Type
4.7. include: Include Orc File
5. Patterns
5.1. Literal Pattern
5.2. Variable Pattern
5.3. Tuple Pattern
5.4. List Pattern
5.5. Record Pattern
5.6. Call Pattern
5.7. Cons Pattern
5.8. As Pattern
5.9. Wildcard Pattern
6. Sites and Services
6.1. Library sites
6.2. Java sites
6.3. Web Services
6.4. Custom sites
7. Time
7.1. Real Time
7.2. Virtual Time
8. Concepts
8.1. Publication
8.2. Silence
8.3. Expression States
8.4. Deflation
8.5. Helpful Sites
8.6. Approximation in Orc Implementation
9. Type System
9.1. Metatheory
9.2. Parametric Polymorphism
9.3. Subtyping
9.4. Adding Type Information
9.5. Type Override
9.6. Typing Contexts
10. Syntax
10.1. EBNF Grammar
10.2. Lexical Specifications
10.3. Precedence, Fixity, and Associativity
11. Standard Library
11.1. Introduction
11.2. core: Fundamental sites and operators.
11.3. idioms: Higher-order Orc programming idioms.
11.4. list: Operations on lists.
11.5. reflect: Metalanguage operations.
11.6. state: General-purpose supplemental data structures.
11.7. text: Operations on strings.
11.8. time: Real and virtual time.
11.9. util: Miscellaneous utility functions.
11.10. web: Web browsing, HTTP, and JSON capabilities.
11.11. xml: XML manipulation.
Index of Key Terms