MainComputersProgrammingLanguages › Concepts (Revision 1)

Concepts (Revision 1)

Edit Page
Report
Scan day: 16 February 2014 UTC
-44
Virus safety - good
Description: Concepts introduce a type system for templates that makes templates easier to use and easier to write. By checking the requirements that templates place on their parameters prior to template instantiation, concepts can eliminate the spectacularly poor error messages produced by today’s template libraries, making them easier to use. [PDF]
%PDF-1.4 5 0 obj > endobj 8 0 obj (Introduction) endobj 9 0 obj > endobj 12 0 obj (Goals) endobj 13 0 obj > endobj 16 0 obj (Status) endobj 17 0 obj > endobj 20 0 obj (Related Documents) endobj 21 0 obj > endobj 24 0 obj (Using Concepts) endobj 25 0 obj > endobj 28 0 obj (Concepts) endobj 29 0 obj > endobj 32 0 obj (Multi-Type Concepts and Where Clauses) endobj 33 0 obj > endobj 36 0 obj (Composing Concepts) endobj 37 0 obj > endobj 40 0 obj (Associated Types) endobj 41 0 obj > endobj 44 0 obj (Concept Maps) endobj 45 0 obj > endobj 48 0 obj (Constrained Templates) endobj 49 0 obj > endobj 52 0 obj (Concept-based Overloading) endobj 53 0 obj > endobj 56 0 obj (Proposed Language Features) endobj 57 0 obj > endobj 60 0 obj (New Keywords) endobj 61 0 obj > endobj 64 0 obj (Concepts) endobj 65 0 obj > endobj 68 0 obj (Refinements) endobj 69 0 obj > endobj 72 0 obj (Signatures) endobj 73 0 obj > endobj 76 0 obj (Associated Types, Values, and Template Requirements) endobj 77 0 obj > endobj 80 0 obj (Nested Requirements) endobj 81 0 obj > endobj 84 0 obj (Axioms) endobj 85 0 obj > endobj 88 0 obj (Concept Maps) endobj 89 0 obj > endobj 92 0 obj (Signature Definitions) endobj 93 0 obj > endobj 96 0 obj (Associated Type, Value, and Template Definitions) endobj 97 0 obj > endobj 100 0 obj (Implicit Member Definitions) endobj 101 0 obj > endobj 104 0 obj (Refinements and Concept Maps) endobj 105 0 obj > endobj 108 0 obj (Concept Map Matching) endobj 109 0 obj > endobj 112 0 obj (Constrained Templates) endobj 113 0 obj > endobj 116 0 obj (Where Clauses) endobj 117 0 obj > endobj 120 0 obj (Inline Requirements) endobj 121 0 obj > endobj 124 0 obj (Type-Checking Constrained Templates) endobj 125 0 obj > endobj 128 0 obj (Instantiating Constrained Templates) endobj 129 0 obj > endobj 132 0 obj (Constraint Pr
Size: 2048 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:
Keywords:
Description:
IP-address:93.90.116.65