lispdoc - results for the

(the value-type form)
Function: Specifies that the values returned by FORM conform to the VALUE-TYPE. CLHS specifies that the consequences are undefined if any result is not of the declared type, but SBCL treats declarations as assertions as long as SAFETY is at least 2, in which case incorrect type information will result in a runtime type-error instead of leading to eg. heap corruption. This is however expressly non-portable: use CHECK-TYPE instead of THE to catch type-errors at runtime. THE is best considered an optimization tool to inform the compiler about types it is unable to derive from other declared types.
Example:
(defun article () (one-of '(the a)))
Mentioned in:
CLtL2 - 26.6. Iteration Control
CLtL2 - 28.1.4. Integrating Types and Classes
CLtL2 - 4.5. Type Specifiers That Specialize
CLtL2 - 7.10.2. Rules Governing the Passing of Multiple Values
CLtL2 - 7.2. Generalized Variables
CLtL2 - 8.5. Environments
CLtL2 - 9.1. Declaration Syntax
CLtL2 - 9.2. Declaration Specifiers
CLtL2 - 9.3. Type Declaration for Forms
CLtL2 - A.3.4. Declarations
HyperSpec - 1.2 Organization of the Document
HyperSpec - 1.4.1.4.3 Use of the Dot Character
HyperSpec - 1.4.4.1 The ``Affected By'' Section of a Dictionary Entry
HyperSpec - 1.4.4.10 The ``Exceptional Situations'' Section of a Dictionary Entry
HyperSpec - 1.4.4.11 The ``Initial Value'' Section of a Dictionary Entry
HyperSpec - 1.4.4.12 The ``Argument Precedence Order'' Section of a Dictionary Entry
HyperSpec - 1.4.4.13 The ``Method Signature'' Section of a Dictionary Entry
HyperSpec - 1.4.4.14 The ``Name'' Section of a Dictionary Entry
HyperSpec - 1.4.4.15 The ``Notes'' Section of a Dictionary Entry
HyperSpec - 1.4.4.16 The ``Pronunciation'' Section of a Dictionary Entry
HyperSpec - 1.4.4.17 The ``See Also'' Section of a Dictionary Entry
HyperSpec - 1.4.4.18 The ``Side Effects'' Section of a Dictionary Entry
HyperSpec - 1.4.4.19 The ``Supertypes'' Section of a Dictionary Entry
HyperSpec - 1.4.4.2 The ``Arguments'' Section of a Dictionary Entry
HyperSpec - 1.4.4.20 The ``Syntax'' Section of a Dictionary Entry
HyperSpec - 1.4.4.20.3 Requiring Non-Null Rest Parameters in the ``Syntax'' Section
HyperSpec - 1.4.4.20.4 Return values in the ``Syntax'' Section
HyperSpec - 1.4.4.20.4.1 No Arguments or Values in the ``Syntax'' Section
HyperSpec - 1.4.4.20.4.2 Unconditional Transfer of Control in the ``Syntax'' Section
HyperSpec - 1.4.4.21 The ``Valid Context'' Section of a Dictionary Entry
HyperSpec - 1.4.4.22 The ``Value Type'' Section of a Dictionary Entry
HyperSpec - 1.4.4.3 The ``Arguments and Values'' Section of a Dictionary Entry
HyperSpec - 1.4.4.4 The ``Binding Types Affected'' Section of a Dictionary Entry
HyperSpec - 1.4.4.5 The ``Class Precedence List'' Section of a Dictionary Entry
HyperSpec - 1.4.4.6.1 The ``Compound Type Specifier Kind'' Section of a Dictionary Entry
HyperSpec - 1.4.4.6.2 The ``Compound Type Specifier Syntax'' Section of a Dictionary Entry
HyperSpec - 1.4.4.6.3 The ``Compound Type Specifier Arguments'' Section of a Dictionary Entry
HyperSpec - 1.4.4.6.4 The ``Compound Type Specifier Description'' Section of a Dictionary Entry
HyperSpec - 1.4.4.7 The ``Constant Value'' Section of a Dictionary Entry
HyperSpec - 1.4.4.8 The ``Description'' Section of a Dictionary Entry
HyperSpec - 1.4.4.9 The ``Examples'' Section of a Dictionary Entry
HyperSpec - 1.9 Symbols in the COMMON-LISP Package
HyperSpec - 10.2 The Symbols Dictionary
HyperSpec - 11.1.2.1 The COMMON-LISP Package
HyperSpec - 11.1.2.1.1 Constraints on the COMMON-LISP Package for Conforming Implementations
HyperSpec - 11.1.2.1.2 Constraints on the COMMON-LISP Package for Conforming Programs
HyperSpec - 11.1.2.1.2.1 Some Exceptions to Constraints on the COMMON-LISP Package for Conforming Programs
HyperSpec - 11.1.2.2 The COMMON-LISP-USER Package
HyperSpec - 11.1.2.3 The KEYWORD Package
HyperSpec - 11.1.2.3.1 Interning a Symbol in the KEYWORD Package
HyperSpec - 11.1.2.3.2 Notes about The KEYWORD Package
HyperSpec - 11.2 The Packages Dictionary
HyperSpec - 12.2 The Numbers Dictionary
HyperSpec - 13.1.4.3.3 Corresponding Characters in the Other Case
HyperSpec - 13.2 The Characters Dictionary
HyperSpec - 14.2 The Conses Dictionary
HyperSpec - 15.2 The Arrays Dictionary
HyperSpec - 16.2 The Strings Dictionary
HyperSpec - 17.3 The Sequences Dictionary
HyperSpec - 18.2 The Hash Tables Dictionary
HyperSpec - 19.2.1.1 The Pathname Host Component
HyperSpec - 19.2.1.2 The Pathname Device Component
HyperSpec - 19.2.1.3 The Pathname Directory Component
HyperSpec - 19.2.1.4 The Pathname Name Component
HyperSpec - 19.2.1.5 The Pathname Type Component
HyperSpec - 19.2.1.6 The Pathname Version Component
HyperSpec - 19.2.2.4.7 Notes about the Pathname Version Component
HyperSpec - 19.3.1.1.1 The Host part of a Logical Pathname Namestring
HyperSpec - 19.3.1.1.2 The Device part of a Logical Pathname Namestring
HyperSpec - 19.3.1.1.3 The Directory part of a Logical Pathname Namestring
HyperSpec - 19.3.1.1.4 The Type part of a Logical Pathname Namestring
HyperSpec - 19.3.1.1.5 The Version part of a Logical Pathname Namestring
HyperSpec - 19.4 The Filenames Dictionary
HyperSpec - 2.1.1.1 The Current Readtable
HyperSpec - 2.1.1.2 The Standard Readtable
HyperSpec - 2.1.1.3 The Initial Readtable
HyperSpec - 2.1.2 Variables that affect the Lisp Reader
HyperSpec - 2.3.3 The Consing Dot
HyperSpec - 20.2 The Files Dictionary
HyperSpec - 21.2 The Streams Dictionary
HyperSpec - 22.1 The Lisp Printer
HyperSpec - 22.1.1 Overview of The Lisp Printer
HyperSpec - 22.1.3.3.2 Effect of Readtable Case on the Lisp Printer
HyperSpec - 22.1.3.3.2.1 Examples of Effect of Readtable Case on the Lisp Printer
HyperSpec - 22.2 The Lisp Pretty Printer
HyperSpec - 22.2.1.1 Dynamic Control of the Arrangement of Output
HyperSpec - 22.2.2 Examples of using the Pretty Printer
HyperSpec - 22.2.3 Notes about the Pretty Printer's Background
HyperSpec - 22.4 The Printer Dictionary
HyperSpec - 23.1.1 Dynamic Control of the Lisp Reader
HyperSpec - 23.1.2 Effect of Readtable Case on the Lisp Reader
HyperSpec - 23.1.2.1 Examples of Effect of Readtable Case on the Lisp Reader
HyperSpec - 23.1.3.1 The EOF-ERROR-P argument
HyperSpec - 23.1.3.2 The RECURSIVE-P argument
HyperSpec - 23.2 The Reader Dictionary
HyperSpec - 24.2 The System Construction Dictionary
HyperSpec - 25.1 The External Environment
HyperSpec - 25.2 The Environment Dictionary
HyperSpec - 3.1.1.1 The Global Environment
HyperSpec - 3.1.1.3.1 The Null Lexical Environment
HyperSpec - 3.1.2 The Evaluation Model
HyperSpec - 3.2.2.1.3.1 Notes about the Implementation of Compiler Macros
HyperSpec - 3.2.5 Exceptional Situations in the Compiler
HyperSpec - 3.4.1.1 Specifiers for the required parameters
HyperSpec - 3.8 The Evaluation and Compilation Dictionary
HyperSpec - 4.3.5 Determining the Class Precedence List
HyperSpec - 4.3.6.1 Modifying the Structure of Instances
HyperSpec - 4.4 The Types and Classes Dictionary
HyperSpec - 5.1.2.4 THE Forms as Places
HyperSpec - 5.3 The Data and Control Flow Dictionary
HyperSpec - 6.1 The LOOP Facility
HyperSpec - 6.1.1 Overview of the Loop Facility
HyperSpec - 6.1.2.1.1 The for-as-arithmetic subclause
HyperSpec - 6.1.2.1.2 The for-as-in-list subclause
HyperSpec - 6.1.2.1.3 The for-as-on-list subclause
HyperSpec - 6.1.2.1.4 The for-as-equals-then subclause
HyperSpec - 6.1.2.1.5 The for-as-across subclause
HyperSpec - 6.1.2.1.6 The for-as-hash subclause
HyperSpec - 6.1.2.1.7 The for-as-package subclause
HyperSpec - 6.2 The Iteration Dictionary
HyperSpec - 7.1.2 Declaring the Validity of Initialization Arguments
HyperSpec - 7.2 Changing the Class of an Instance
HyperSpec - 7.2.1 Modifying the Structure of the Instance
HyperSpec - 7.2.3 Customizing the Change of Class of an Instance
HyperSpec - 7.6.6.1 Determining the Effective Method
HyperSpec - 7.6.6.1.1 Selecting the Applicable Methods
HyperSpec - 7.6.6.1.2 Sorting the Applicable Methods by Precedence Order
HyperSpec - 7.6.6.1.3 Applying method combination to the sorted list of applicable methods
HyperSpec - 7.7 The Objects Dictionary
HyperSpec - 8.1 The Structures Dictionary
HyperSpec - 9.1.6 Notes about the Condition System's Background
HyperSpec - 9.2 The Conditions Dictionary
HyperSpec - Special Operator THE
On Lisp - A Sample ATN
On Lisp - Local Functions
PCL - make it work make it right make it fast
PCL - other special operators
this
 
 Mentioned in:
HyperSpec - 1.4.3 Sections Not Formally Part Of This Standard