[Next] [Previous] [Top] [Index]

"The Cecil Language: Specification and Rationale"

Abstract
1 - Introduction
1.1 - Design Goals and Major Features
1.2 - Overview
2 - Dynamically-Typed Core
2.1 - Objects and Inheritance
2.1.1 - Inheritance
2.1.2 - Object Instantiation
2.1.3 - Extension Declarations
2.1.4 - Predefined Objects
2.1.5 - Closures
2.2 - Methods
2.2.1 - Argument Specializers and Multi-Methods
2.2.2 - Method Bodies
2.2.3 - Primitive Methods
2.3 - Fields
2.3.1 - Read-Only vs. Mutable Fields
2.3.2 - Fields and Methods
2.3.3 - Copy-Down vs. Shared Fields
2.3.4 - Field Initialization
2.4 - Predicate Objects
2.4.1 - Predicate Objects and Inheritance
2.4.2 - Predicate Objects and Fields
2.5 - Statements and Expressions
2.5.1 - Declaration Blocks
2.5.2 - Variable Declarations
2.5.3 - Variable References
2.5.4 - Assignment Statements
2.5.5 - Literals
2.5.6 - Message Sends
2.5.7 - Object Constructors
2.5.8 - Vector Constructors
2.5.9 - Closures
2.5.10 - Parenthetical Subexpressions
2.6 - Precedence Declarations
2.6.1 - Previous Approaches
2.6.2 - Precedence and Associativity Declarations in Cecil
2.7 - Method Lookup
2.7.1 - Philosophy
2.7.2 - Semantics
2.7.3 - Examples
2.7.4 - Strengths and Limitations
2.7.5 - Multiple Inheritance of Fields
2.7.6 - Cyclic Inheritance
2.7.7 - Method Lookup and Lexical Scoping
2.7.8 - Method Invocation
2.8 - Resends
2.9 - Files and Include Declarations
2.10 - Pragmas
3 - Static Types
3.1 - Goals
3.2 - Types and Signatures
3.3 - Type and Signature Declarations
3.3.1 - Type Declarations
3.3.2 - Representation and Object Declarations
3.3.3 - Type and Object Extension Declarations
3.3.4 - Signature Declarations
3.3.5 - Implementation and Method Declarations
3.3.6 - Field Implementation Declarations
3.3.7 - Other Type Declarations
3.3.8 - Discussion
3.4 - Special Types and Type Constructors
3.4.1 - Named Types
3.4.2 - Closure Types
3.4.3 - Least-Upper-Bound Types
3.4.4 - Greatest-Lower-Bound Types
3.5 - Object Role Annotations
3.6 - Type Checking Messages
3.6.1 - Checking Messages Against Signatures
3.6.2 - Checking Signatures Against Method Implementations
3.6.3 - Comparison with Other Type Systems
3.6.4 - Type Checking Inherited Methods
3.7 - Type Checking Expressions, Statements, and Declarations
3.8 - Type Checking Subtyping Declarations
3.9 - Type Checking Predicate Objects
3.10 - Mixed Statically- and Dynamically-Typed Code
4 - Parameterization and Bounded Parametric Polymorphism
4.1 - Parameterized Declarations
4.1.1 - Type Parameters, Type Variables, and Instantiating Types
4.1.2 - Explicit and Implicit Parameterization
4.1.3 - Omitting the Explicit forall Clause: the Backquote Sugar
4.2 - Bounded Polymorphism and Type Constraints
4.3 - Constraint Solving and Type Inference
4.4 - F-bounded Polymorphism
4.5 - Related Work
4.5.1 - Languages Based on F-Bounded Polymorphism
4.5.2 - Languages Based on SelfType or Matching
4.5.3 - Languages Based on Signature Constraints and Implicit Structural Subtyping
4.5.4 - Languages Based on Instantiation-Time Checking
4.5.5 - Languages Based on Covariant Redefinition
4.5.6 - Languages Offering Local Type Inference
5 - Modules
6 - Related Work
7 - Conclusion
Acknowledgments
References
Appendix A - Annotated Cecil Syntax
A.1 - Grammar
A.2 - Tokens
A.3 - White Space
"The Cecil Language: Specification and Rationale" - 7 Feb 1999

[Next] [Previous] [Top] [Index]

Generated with Harlequin WebMaker