marcuskammer/cl-sites
1
0
Fork 0
Code Activity
cl-sites/HyperSpec-7-0/HyperSpec/Body/26_glo_f.htm

66 lines
30 KiB
HTML
Raw Permalink Normal View History

Add hyperspec
2024-04-01 10:24:07 +02:00
<!-- Common Lisp HyperSpec (TM), version 7.0 generated by Kent M. Pitman on Mon, 11-Apr-2005 2:31am EDT -->
<HTML>
<HEAD>
<TITLE>CLHS: Glossary-Section F</TITLE>
<LINK HREF="../Data/clhs.css" REL="stylesheet" TYPE="text/css" />
<META HTTP-EQUIV="Author" CONTENT="Kent M. Pitman">
<META HTTP-EQUIV="Organization" CONTENT="LispWorks Ltd.">
<LINK REL=TOP HREF="../Front/index.htm">
<LINK REL=COPYRIGHT HREF="../Front/Help.htm#Legal">
<LINK REL=DISCLAIMER HREF="../Front/Help.htm#Disclaimer">
<LINK REL=PREV HREF="26_glo_e.htm">
<LINK REL=UP HREF="26_a.htm">
<LINK REL=NEXT HREF="26_glo_g.htm">
</HEAD>
<BODY>
<H1><A REV=MADE HREF="http://www.lispworks.com/"><IMG WIDTH=80 HEIGHT=65 ALT="[LISPWORKS]" SRC="../Graphics/LWSmall.gif" ALIGN=Bottom></A><A REL=TOP HREF="../Front/index.htm"><IMG WIDTH=237 HEIGHT=65 ALT="[Common Lisp HyperSpec (TM)]" SRC="../Graphics/CLHS_Sm.gif" ALIGN=Bottom></A> <A REL=PREV HREF="26_glo_e.htm"><IMG WIDTH=40 HEIGHT=40 ALT="[Previous]" SRC="../Graphics/Prev.gif" ALIGN=Bottom></A><A REL=UP HREF="26_a.htm"><IMG WIDTH=40 HEIGHT=40 ALT="[Up]" SRC="../Graphics/Up.gif" ALIGN=Bottom></A><A REL=NEXT HREF="26_glo_g.htm"><IMG WIDTH=40 HEIGHT=40 ALT="[Next]" SRC="../Graphics/Next.gif" ALIGN=Bottom></A></H1>
<HR>
<B>F</B> <P>
<P><A NAME="false"><B>false</B></A> <I>n.</I> the <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> <A REL=DEFINITION HREF="a_nil.htm#nil"><B>nil</B></A>, used to represent the failure of a <A REL=DEFINITION HREF="26_glo_p.htm#predicate"><I>predicate</I></A> test. <P>
<P><A NAME="fbound"><B>fbound</B></A> ['ef,band] <I>adj.</I> (of a <A REL=DEFINITION HREF="#function_name"><I>function name</I></A>) <A REL=DEFINITION HREF="26_glo_b.htm#bound"><I>bound</I></A> in the <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="26_glo_n.htm#namespace"><I>namespace</I></A>. (The <A REL=DEFINITION HREF="26_glo_n.htm#name"><I>names</I></A> of <A REL=DEFINITION HREF="26_glo_m.htm#macro"><I>macros</I></A> and <A REL=DEFINITION HREF="26_glo_s.htm#special_operator"><I>special operators</I></A> are <A REL=DEFINITION HREF="#fbound"><I>fbound</I></A>, but the nature and <A REL=DEFINITION HREF="26_glo_t.htm#type"><I>type</I></A> of the <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> which is their <A REL=DEFINITION HREF="26_glo_v.htm#value"><I>value</I></A> is <A REL=DEFINITION HREF="26_glo_i.htm#implementation-dependent"><I>implementation-dependent</I></A>. Further, defining a <A REL=DEFINITION HREF="26_glo_s.htm#setf_expander"><I>setf expander</I></A> <I>F</I> does not cause the <A REL=DEFINITION HREF="26_glo_s.htm#setf_function"><I>setf function</I></A> <TT>(setf </TT><I>F</I><TT>)</TT> to become defined; as such, if there is a such a definition of a <A REL=DEFINITION HREF="26_glo_s.htm#setf_expander"><I>setf expander</I></A> <I>F</I>, the <A REL=DEFINITION HREF="#function"><I>function</I></A> <TT>(setf </TT><I>F</I><TT>)</TT> can be <A REL=DEFINITION HREF="#fbound"><I>fbound</I></A> if and only if, by design or coincidence, a function binding for <TT>(setf </TT><I>F</I><TT>)</TT> has been independently established.) See the <A REL=DEFINITION HREF="#function"><I>functions</I></A> <A REL=DEFINITION HREF="f_fbound.htm#fboundp"><B>fboundp</B></A> and <A REL=DEFINITION HREF="f_symb_1.htm#symbol-function"><B>symbol-function</B></A>. <P>
<P><A NAME="feature"><B>feature</B></A> <I>n.</I> 1. an aspect or attribute of Common Lisp, of the <A REL=DEFINITION HREF="26_glo_i.htm#implementation"><I>implementation</I></A>, or of the <A REL=DEFINITION HREF="26_glo_e.htm#environment"><I>environment</I></A>. 2. a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> that names a <A REL=DEFINITION HREF="#feature"><I>feature</I></A>[1]. See <A REL=CHILD HREF="24_ab.htm">Section 24.1.2 (Features)</A>. ``The <TT>:ansi-cl</TT> feature is present in all conforming implementations.'' <P>
<P><A NAME="feature_expression"><B>feature expression</B></A> <I>n.</I> A boolean combination of <A REL=DEFINITION HREF="#feature"><I>features</I></A> used by the <TT>#+</TT> and <TT>#-</TT> <A REL=DEFINITION HREF="26_glo_r.htm#reader_macro"><I>reader macros</I></A> in order to direct conditional <I>reading</I> of <A REL=DEFINITION HREF="26_glo_e.htm#expression"><I>expressions</I></A> by the <A REL=DEFINITION HREF="26_glo_l.htm#lisp_reader"><I>Lisp reader</I></A>. See <A REL=CHILD HREF="24_aba.htm">Section 24.1.2.1 (Feature Expressions)</A>. <P>
<P><A NAME="features_list"><B>features list</B></A> <I>n.</I> the <A REL=DEFINITION HREF="26_glo_l.htm#list"><I>list</I></A> that is the <A REL=DEFINITION HREF="26_glo_v.htm#value"><I>value</I></A> of <A REL=DEFINITION HREF="v_featur.htm#STfeaturesST"><B>*features*</B></A>. <P>
<P><A NAME="file"><B>file</B></A> <I>n.</I> a named entry in a <A REL=DEFINITION HREF="#file_system"><I>file system</I></A>, having an <A REL=DEFINITION HREF="26_glo_i.htm#implementation-defined"><I>implementation-defined</I></A> nature. <P>
<P><A NAME="file_compiler"><B>file compiler</B></A> <I>n.</I> any <A REL=DEFINITION HREF="26_glo_c.htm#compiler"><I>compiler</I></A> which <A REL=DEFINITION HREF="26_glo_c.htm#compile"><I>compiles</I></A> <A REL=DEFINITION HREF="26_glo_s.htm#source_code"><I>source code</I></A> contained in a <A REL=DEFINITION HREF="#file"><I>file</I></A>, producing a <A REL=DEFINITION HREF="26_glo_c.htm#compiled_file"><I>compiled file</I></A> as output. The <A REL=DEFINITION HREF="f_cmp_fi.htm#compile-file"><B>compile-file</B></A> function is the only interface to such a <A REL=DEFINITION HREF="26_glo_c.htm#compiler"><I>compiler</I></A> provided by Common Lisp, but there might be other, <A REL=DEFINITION HREF="26_glo_i.htm#implementation-defined"><I>implementation-defined</I></A> mechanisms for invoking the <A REL=DEFINITION HREF="#file_compiler"><I>file compiler</I></A>. <P>
<P><A NAME="file_position"><B>file position</B></A> <I>n.</I> (in a <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>) a non-negative <A REL=DEFINITION HREF="26_glo_i.htm#integer"><I>integer</I></A> that represents a position in the <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>. Not all <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>streams</I></A> are able to represent the notion of <A REL=DEFINITION HREF="#file_position"><I>file position</I></A>; in the description of any <A REL=DEFINITION HREF="26_glo_o.htm#operator"><I>operator</I></A> which manipulates <A REL=DEFINITION HREF="#file_position"><I>file positions</I></A>, the behavior for <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>streams</I></A> that don't have this notion must be explicitly stated. For <A REL=DEFINITION HREF="26_glo_b.htm#binary"><I>binary</I></A> <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>streams</I></A>, the <A REL=DEFINITION HREF="#file_position"><I>file position</I></A> represents the number of preceding <A REL=DEFINITION HREF="26_glo_b.htm#byte"><I>bytes</I></A> in the <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>. For <A REL=DEFINITION HREF="26_glo_c.htm#character"><I>character</I></A> <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>streams</I></A>, the constraint is more relaxed: <A REL=DEFINITION HREF="#file_position"><I>file positions</I></A> must increase monotonically, the amount of the increase between <A REL=DEFINITION HREF="#file_position"><I>file positions</I></A> corresponding to any two successive characters in the <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A> is <A REL=DEFINITION HREF="26_glo_i.htm#implementation-dependent"><I>implementation-dependent</I></A>. <P>
<P><A NAME="file_position_designator"><B>file position designator</B></A> <I>n.</I> (in a <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>) a <A REL=DEFINITION HREF="26_glo_d.htm#designator"><I>designator</I></A> for a <A REL=DEFINITION HREF="#file_position"><I>file position</I></A> in that <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>; that is, the symbol <TT>:start</TT> (denoting <TT>0</TT>, the first <A REL=DEFINITION HREF="#file_position"><I>file position</I></A> in that <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>), the symbol <TT>:end</TT> (denoting the last <A REL=DEFINITION HREF="#file_position"><I>file position</I></A> in that <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>; i.e., the position following the last <A REL=DEFINITION HREF="26_glo_e.htm#element"><I>element</I></A> of the <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>), or a <A REL=DEFINITION HREF="#file_position"><I>file position</I></A> (denoting itself). <P>
<P><A NAME="file_stream"><B>file stream</B></A> <I>n.</I> an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> of <A REL=DEFINITION HREF="26_glo_t.htm#type"><I>type</I></A> <A REL=DEFINITION HREF="t_file_s.htm#file-stream"><B>file-stream</B></A>. <P>
<P><A NAME="file_system"><B>file system</B></A> <I>n.</I> a facility which permits aggregations of data to be stored in named <A REL=DEFINITION HREF="#file"><I>files</I></A> on some medium that is external to the <A REL=DEFINITION HREF="26_glo_l.htm#lisp_image"><I>Lisp image</I></A> and that therefore persists from <A REL=DEFINITION HREF="26_glo_s.htm#session"><I>session</I></A> to <A REL=DEFINITION HREF="26_glo_s.htm#session"><I>session</I></A>. <P>
<P><A NAME="filename"><B>filename</B></A> <I>n.</I> a handle, not necessarily ever directly represented as an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A>, that can be used to refer to a <A REL=DEFINITION HREF="#file"><I>file</I></A> in a <A REL=DEFINITION HREF="#file_system"><I>file system</I></A>. <A REL=DEFINITION HREF="26_glo_p.htm#pathname"><I>Pathnames</I></A> and <A REL=DEFINITION HREF="26_glo_n.htm#namestring"><I>namestrings</I></A> are two kinds of <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>objects</I></A> that substitute for <A REL=DEFINITION HREF="#filename"><I>filenames</I></A> in Common Lisp. <P>
<P><A NAME="fill_pointer"><B>fill pointer</B></A> <I>n.</I> (of a <A REL=DEFINITION HREF="26_glo_v.htm#vector"><I>vector</I></A>) an <A REL=DEFINITION HREF="26_glo_i.htm#integer"><I>integer</I></A> associated with a <A REL=DEFINITION HREF="26_glo_v.htm#vector"><I>vector</I></A> that represents the index above which no <A REL=DEFINITION HREF="26_glo_e.htm#element"><I>elements</I></A> are <A REL=DEFINITION HREF="26_glo_a.htm#active"><I>active</I></A>. (A <A REL=DEFINITION HREF="#fill_pointer"><I>fill pointer</I></A> is a non-negative <A REL=DEFINITION HREF="26_glo_i.htm#integer"><I>integer</I></A> no larger than the total number of <A REL=DEFINITION HREF="26_glo_e.htm#element"><I>elements</I></A> in the <A REL=DEFINITION HREF="26_glo_v.htm#vector"><I>vector</I></A>. Not all <A REL=DEFINITION HREF="26_glo_v.htm#vector"><I>vectors</I></A> have <A REL=DEFINITION HREF="#fill_pointer"><I>fill pointers</I></A>.) <P>
<P><A NAME="finite"><B>finite</B></A> <I>adj.</I> (of a <A REL=DEFINITION HREF="26_glo_t.htm#type"><I>type</I></A>) having a finite number of <A REL=DEFINITION HREF="26_glo_e.htm#element"><I>elements</I></A>. ``The type specifier <TT>(integer 0 5)</TT> denotes a finite type, but the type specifiers <A REL=DEFINITION HREF="t_intege.htm#integer"><B>integer</B></A> and <TT>(integer 0)</TT> do not.'' <P>
<P><A NAME="fixnum"><B>fixnum</B></A> <I>n.</I> an <A REL=DEFINITION HREF="26_glo_i.htm#integer"><I>integer</I></A> of <A REL=DEFINITION HREF="26_glo_t.htm#type"><I>type</I></A> <A REL=DEFINITION HREF="t_fixnum.htm#fixnum"><B>fixnum</B></A>. <P>
<P><A NAME="float"><B>float</B></A> <I>n.</I> an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> of <A REL=DEFINITION HREF="26_glo_t.htm#type"><I>type</I></A> <A REL=DEFINITION HREF="t_float.htm#float"><B>float</B></A>. <P>
<P><A NAME="for-value"><B>for-value</B></A> <I>adj.</I> (of a <A REL=DEFINITION HREF="26_glo_r.htm#reference"><I>reference</I></A> to a <A REL=DEFINITION HREF="26_glo_b.htm#binding"><I>binding</I></A>) being a <A REL=DEFINITION HREF="26_glo_r.htm#reference"><I>reference</I></A> that <A REL=DEFINITION HREF="26_glo_r.htm#read"><I>reads</I></A>[1] the <A REL=DEFINITION HREF="26_glo_v.htm#value"><I>value</I></A> of the <A REL=DEFINITION HREF="26_glo_b.htm#binding"><I>binding</I></A>. <P>
<P><A NAME="form"><B>form</B></A> <I>n.</I> 1. any <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> meant to be <I>evaluated</I>. 2. a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A>, a <A REL=DEFINITION HREF="26_glo_c.htm#compound_form"><I>compound form</I></A>, or a <A REL=DEFINITION HREF="26_glo_s.htm#self-evaluating_object"><I>self-evaluating object</I></A>. 3. (for an <A REL=DEFINITION HREF="26_glo_o.htm#operator"><I>operator</I></A>, as in ``&lt;&lt;<I>operator</I>&gt;&gt; <A REL=DEFINITION HREF="#form"><I>form</I></A>'') a <A REL=DEFINITION HREF="26_glo_c.htm#compound_form"><I>compound form</I></A> having that <A REL=DEFINITION HREF="26_glo_o.htm#operator"><I>operator</I></A> as its first element. ``A <A REL=DEFINITION HREF="s_quote.htm#quote"><B>quote</B></A> form is a constant form.'' <P>
<P><A NAME="formal_argument"><B>formal argument</B></A> <I>n.</I> <I>Trad.</I> a <A REL=DEFINITION HREF="26_glo_p.htm#parameter"><I>parameter</I></A>. <P>
<P><A NAME="formal_parameter"><B>formal parameter</B></A> <I>n.</I> <I>Trad.</I> a <A REL=DEFINITION HREF="26_glo_p.htm#parameter"><I>parameter</I></A>. <P>
<P><A NAME="format"><B>format</B></A> <I>v.t.</I> (a <A REL=DEFINITION HREF="#format_control"><I>format control</I></A> and <A REL=DEFINITION HREF="#format_argument"><I>format arguments</I></A>) to perform output as if by <A REL=DEFINITION HREF="f_format.htm#format"><B>format</B></A>, using the <A REL=DEFINITION HREF="#format_string"><I>format string</I></A> and <A REL=DEFINITION HREF="#format_argument"><I>format arguments</I></A>. <P>
<P><A NAME="format_argument"><B>format argument</B></A> <I>n.</I> an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> which is used as data by functions such as <A REL=DEFINITION HREF="f_format.htm#format"><B>format</B></A> which interpret <A REL=DEFINITION HREF="#format_control"><I>format controls</I></A>. <P>
<P><A NAME="format_control"><B>format control</B></A> <I>n.</I> a <A REL=DEFINITION HREF="#format_string"><I>format string</I></A>, or a <A REL=DEFINITION HREF="#function"><I>function</I></A> that obeys the <A REL=DEFINITION HREF="26_glo_a.htm#argument"><I>argument</I></A> conventions for a <A REL=DEFINITION HREF="#function"><I>function</I></A> returned by the <A REL=DEFINITION HREF="m_format.htm#formatter"><B>formatter</B></A> <A REL=DEFINITION HREF="26_glo_m.htm#macro"><I>macro</I></A>. See <A REL=CHILD HREF="22_bac.htm">Section 22.2.1.3 (Compiling Format Strings)</A>. <P>
<P><A NAME="format_directive"><B>format directive</B></A> <I>n.</I> 1. a sequence of <A REL=DEFINITION HREF="26_glo_c.htm#character"><I>characters</I></A> in a <A REL=DEFINITION HREF="#format_string"><I>format string</I></A> which is introduced by a <A REL=DEFINITION HREF="26_glo_t.htm#tilde"><I>tilde</I></A>, and which is specially interpreted by <A REL=DEFINITION HREF="26_glo_c.htm#code"><I>code</I></A> which processes <A REL=DEFINITION HREF="#format_string"><I>format strings</I></A> to mean that some special operation should be performed, possibly involving data supplied by the <A REL=DEFINITION HREF="#format_argument"><I>format arguments</I></A> that accompanied the <A REL=DEFINITION HREF="#format_string"><I>format string</I></A>. See the <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="f_format.htm#format"><B>format</B></A>. ``In <TT>&quot;~D base 10 = ~8R&quot;</TT>, the character sequences `<TT>~D</TT>' and `<TT>~8R</TT>' are format directives.'' 2. the conceptual category of all <A REL=DEFINITION HREF="#format_directive"><I>format directives</I></A>[1] which use the same dispatch character. ``Both <TT>&quot;~3d&quot;</TT> and <TT>&quot;~3,'0D&quot;</TT> are valid uses of the `<TT>~D</TT>' format directive.'' <P>
<P><A NAME="format_string"><B>format string</B></A> <I>n.</I> a <A REL=DEFINITION HREF="26_glo_s.htm#string"><I>string</I></A> which can contain both ordinary text and <A REL=DEFINITION HREF="#format_directive"><I>format directives</I></A>, and which is used in conjunction with <A REL=DEFINITION HREF="#format_argument"><I>format arguments</I></A> to describe how text output should be formatted by certain functions, such as <A REL=DEFINITION HREF="f_format.htm#format"><B>format</B></A>. <P>
<P><A NAME="free_declaration"><B>free declaration</B></A> <I>n.</I> a declaration that is not a <A REL=DEFINITION HREF="26_glo_b.htm#bound_declaration"><I>bound declaration</I></A>. See <A REL=DEFINITION HREF="s_declar.htm#declare"><B>declare</B></A>. <P>
<P><A NAME="fresh"><B>fresh</B></A> <I>adj.</I> 1. (of an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> <I>yielded</I> by a <A REL=DEFINITION HREF="#function"><I>function</I></A>) having been newly-allocated by that <A REL=DEFINITION HREF="#function"><I>function</I></A>. (The caller of a <A REL=DEFINITION HREF="#function"><I>function</I></A> that returns a <A REL=DEFINITION HREF="#fresh"><I>fresh</I></A> <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> may freely modify the <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> without fear that such modification will compromise the future correct behavior of that <A REL=DEFINITION HREF="#function"><I>function</I></A>.) 2. (of a <A REL=DEFINITION HREF="26_glo_b.htm#binding"><I>binding</I></A> for a <A REL=DEFINITION HREF="26_glo_n.htm#name"><I>name</I></A>) newly-allocated; not shared with other <A REL=DEFINITION HREF="26_glo_b.htm#binding"><I>bindings</I></A> for that <A REL=DEFINITION HREF="26_glo_n.htm#name"><I>name</I></A>. <P>
<P><A NAME="freshline"><B>freshline</B></A> <I>n.</I> a conceptual operation on a <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A>, implemented by the <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="f_terpri.htm#fresh-line"><B>fresh-line</B></A> and by the <A REL=DEFINITION HREF="#format_directive"><I>format directive</I></A> <TT>~&amp;</TT>, which advances the display position to the beginning of the next line (as if a <A REL=DEFINITION HREF="26_glo_n.htm#newline"><I>newline</I></A> had been typed, or the <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="f_terpri.htm#terpri"><B>terpri</B></A> had been called) unless the <A REL=DEFINITION HREF="26_glo_s.htm#stream"><I>stream</I></A> is already known to be positioned at the beginning of a line. Unlike <A REL=DEFINITION HREF="26_glo_n.htm#newline"><I>newline</I></A>, <A REL=DEFINITION HREF="#freshline"><I>freshline</I></A> is not a <A REL=DEFINITION HREF="26_glo_c.htm#character"><I>character</I></A>. <P>
<P><A NAME="funbound"><B>funbound</B></A> ['efunband] <I>n.</I> (of a <A REL=DEFINITION HREF="#function_name"><I>function name</I></A>) not <A REL=DEFINITION HREF="#fbound"><I>fbound</I></A>. <P>
<P><A NAME="function"><B>function</B></A> <I>n.</I> 1. an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> representing code, which can be <I>called</I> with zero or more <A REL=DEFINITION HREF="26_glo_a.htm#argument"><I>arguments</I></A>, and which produces zero or more <A REL=DEFINITION HREF="26_glo_v.htm#value"><I>values</I></A>. 2. an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> of <A REL=DEFINITION HREF="26_glo_t.htm#type"><I>type</I></A> <A REL=DEFINITION HREF="t_fn.htm#function"><B>function</B></A>. <P>
<P><A NAME="function_block_name"><B>function block name</B></A> <I>n.</I> (of a <A REL=DEFINITION HREF="#function_name"><I>function name</I></A>) The <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> that would be used as the name of an <A REL=DEFINITION HREF="26_glo_i.htm#implicit_block"><I>implicit block</I></A> which surrounds the body of a <A REL=DEFINITION HREF="#function"><I>function</I></A> having that <A REL=DEFINITION HREF="#function_name"><I>function name</I></A>. If the <A REL=DEFINITION HREF="#function_name"><I>function name</I></A> is a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A>, its <A REL=DEFINITION HREF="#function_block_name"><I>function block name</I></A> is the <A REL=DEFINITION HREF="#function_name"><I>function name</I></A> itself. If the <A REL=DEFINITION HREF="#function_name"><I>function name</I></A> is a <A REL=DEFINITION HREF="26_glo_l.htm#list"><I>list</I></A> whose <A REL=DEFINITION HREF="26_glo_c.htm#car"><I>car</I></A> is <A REL=DEFINITION HREF="a_setf.htm#setf"><B>setf</B></A> and whose <A REL=DEFINITION HREF="26_glo_c.htm#cadr"><I>cadr</I></A> is a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A>, its <A REL=DEFINITION HREF="#function_block_name"><I>function block name</I></A> is the <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> that is the <A REL=DEFINITION HREF="26_glo_c.htm#cadr"><I>cadr</I></A> of the <A REL=DEFINITION HREF="#function_name"><I>function name</I></A>. An <A REL=DEFINITION HREF="26_glo_i.htm#implementation"><I>implementation</I></A> which supports additional kinds of <A REL=DEFINITION HREF="#function_name"><I>function names</I></A> must specify for each how the corresponding <A REL=DEFINITION HREF="#function_block_name"><I>function block name</I></A> is computed. <P>
<P><A NAME="function_cell"><B>function cell</B></A> <I>n.</I> <I>Trad.</I> (of a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A>) The <A REL=DEFINITION HREF="26_glo_p.htm#place"><I>place</I></A> which holds the <I>definition</I> of the global <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="26_glo_b.htm#binding"><I>binding</I></A>, if any, named by that <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A>, and which is <I>accessed</I> by <A REL=DEFINITION HREF="f_symb_1.htm#symbol-function"><B>symbol-function</B></A>. See <A REL=DEFINITION HREF="26_glo_c.htm#cell"><I>cell</I></A>. <P>
<P><A NAME="function_designator"><B>function designator</B></A> <I>n.</I> a <A REL=DEFINITION HREF="26_glo_d.htm#designator"><I>designator</I></A> for a <A REL=DEFINITION HREF="#function"><I>function</I></A>; that is, an <A REL=DEFINITION HREF="26_glo_o.htm#object"><I>object</I></A> that denotes a <A REL=DEFINITION HREF="#function"><I>function</I></A> and that is one of: a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> (denoting the <A REL=DEFINITION HREF="#function"><I>function</I></A> named by that <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> in the <A REL=DEFINITION HREF="26_glo_g.htm#global_environment"><I>global environment</I></A>), or a <A REL=DEFINITION HREF="#function"><I>function</I></A> (denoting itself). The consequences are undefined if a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> is used as a <A REL=DEFINITION HREF="#function_designator"><I>function designator</I></A> but it does not have a global definition as a <A REL=DEFINITION HREF="#function"><I>function</I></A>, or it has a global definition as a <A REL=DEFINITION HREF="26_glo_m.htm#macro"><I>macro</I></A> or a <A REL=DEFINITION HREF="26_glo_s.htm#special_form"><I>special form</I></A>. See also <A REL=DEFINITION HREF="26_glo_e.htm#extended_function_designator"><I>extended function designator</I></A>. <P>
<P><A NAME="function_form"><B>function form</B></A> <I>n.</I> a <A REL=DEFINITION HREF="#form"><I>form</I></A> that is a <A REL=DEFINITION HREF="26_glo_l.htm#list"><I>list</I></A> and that has a first element which is the <A REL=DEFINITION HREF="26_glo_n.htm#name"><I>name</I></A> of a <A REL=DEFINITION HREF="#function"><I>function</I></A> to be called on <A REL=DEFINITION HREF="26_glo_a.htm#argument"><I>arguments</I></A> which are the result of <I>evaluating</I> subsequent elements of the <A REL=DEFINITION HREF="#function_form"><I>function form</I></A>. <P>
<P><A NAME="function_name"><B>function name</B></A> <I>n.</I> 1. (in an <A REL=DEFINITION HREF="26_glo_e.htm#environment"><I>environment</I></A>) A <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> or a <A REL=DEFINITION HREF="26_glo_l.htm#list"><I>list</I></A> <TT>(setf </TT><I>symbol</I><TT>)</TT> that is the <A REL=DEFINITION HREF="26_glo_n.htm#name"><I>name</I></A> of a <A REL=DEFINITION HREF="#function"><I>function</I></A> in that <A REL=DEFINITION HREF="26_glo_e.htm#environment"><I>environment</I></A>. 2. A <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> or a <A REL=DEFINITION HREF="26_glo_l.htm#list"><I>list</I></A> <TT>(setf </TT><I>symbol</I><TT>)</TT>. <P>
<P><A NAME="functional_evaluation"><B>functional evaluation</B></A> <I>n.</I> the process of extracting a <A REL=DEFINITION HREF="#functional_value"><I>functional value</I></A> from a <A REL=DEFINITION HREF="#function_name"><I>function name</I></A> or a <A REL=DEFINITION HREF="26_glo_l.htm#lambda_expression"><I>lambda expression</I></A>. The evaluator performs <A REL=DEFINITION HREF="#functional_evaluation"><I>functional evaluation</I></A> implicitly when it encounters a <A REL=DEFINITION HREF="#function_name"><I>function name</I></A> or a <A REL=DEFINITION HREF="26_glo_l.htm#lambda_expression"><I>lambda expression</I></A> in the <A REL=DEFINITION HREF="26_glo_c.htm#car"><I>car</I></A> of a <A REL=DEFINITION HREF="26_glo_c.htm#compound_form"><I>compound form</I></A>, or explicitly when it encounters a <A REL=DEFINITION HREF="s_fn.htm#function"><B>function</B></A> <A REL=DEFINITION HREF="26_glo_s.htm#special_form"><I>special form</I></A>. Neither a use of a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> as a <A REL=DEFINITION HREF="#function_designator"><I>function designator</I></A> nor a use of the <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="f_symb_1.htm#symbol-function"><B>symbol-function</B></A> to extract the <A REL=DEFINITION HREF="#functional_value"><I>functional value</I></A> of a <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> is considered a <A REL=DEFINITION HREF="#functional_evaluation"><I>functional evaluation</I></A>. <P>
<P><A NAME="functional_value"><B>functional value</B></A> <I>n.</I> 1. (of a <A REL=DEFINITION HREF="#function_name"><I>function name</I></A> N in an <A REL=DEFINITION HREF="26_glo_e.htm#environment"><I>environment</I></A> E) The <A REL=DEFINITION HREF="26_glo_v.htm#value"><I>value</I></A> of the <A REL=DEFINITION HREF="26_glo_b.htm#binding"><I>binding</I></A> named N in the <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="26_glo_n.htm#namespace"><I>namespace</I></A> for <A REL=DEFINITION HREF="26_glo_e.htm#environment"><I>environment</I></A> E; that is, the contents of the <A REL=DEFINITION HREF="#function_cell"><I>function cell</I></A> named N in <A REL=DEFINITION HREF="26_glo_e.htm#environment"><I>environment</I></A> E. 2. (of an <A REL=DEFINITION HREF="#fbound"><I>fbound</I></A> <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A> S) the contents of the <A REL=DEFINITION HREF="26_glo_s.htm#symbol"><I>symbol</I></A>'s <A REL=DEFINITION HREF="#function_cell"><I>function cell</I></A>; that is, the <A REL=DEFINITION HREF="26_glo_v.htm#value"><I>value</I></A> of the <A REL=DEFINITION HREF="26_glo_b.htm#binding"><I>binding</I></A> named S in the <A REL=DEFINITION HREF="#function"><I>function</I></A> <A REL=DEFINITION HREF="26_glo_n.htm#namespace"><I>namespace</I></A> of the <A REL=DEFINITION HREF="26_glo_g.htm#global_environment"><I>global environment</I></A>. (A <A REL=DEFINITION HREF="26_glo_n.htm#name"><I>name</I></A> that is a <A REL=DEFINITION HREF="26_glo_m.htm#macro_name"><I>macro name</I></A> in the <A REL=DEFINITION HREF="26_glo_g.htm#global_environment"><I>global environment</I></A> or is a <A REL=DEFINITION HREF="26_glo_s.htm#special_operator"><I>special operator</I></A> might or might not be <A REL=DEFINITION HREF="#fbound"><I>fbound</I></A>. But if S is such a <A REL=DEFINITION HREF="26_glo_n.htm#name"><I>name</I></A> and is <A REL=DEFINITION HREF="#fbound"><I>fbound</I></A>, the specific nature of its <A REL=DEFINITION HREF="#functional_value"><I>functional value</I></A> is <A REL=DEFINITION HREF="26_glo_i.htm#implementation-dependent"><I>implementation-dependent</I></A>; in particular, it might or might not be a <A REL=DEFINITION HREF="#function"><I>function</I></A>.) <P>
<P><A NAME="further_compilation"><B>further compilation</B></A> <I>n.</I> <A REL=DEFINITION HREF="26_glo_i.htm#implementation-dependent"><I>implementation-dependent</I></A> compilation beyond <A REL=DEFINITION HREF="26_glo_m.htm#minimal_compilation"><I>minimal compilation</I></A>. Further compilation is permitted to take place at <A REL=DEFINITION HREF="26_glo_r.htm#run_time"><I>run time</I></A>. ``Block compilation and generation of machine-specific instructions are examples of further compilation.'' <P>
<P><HR>The following <A REL=META HREF="../Front/X3J13Iss.htm">X3J13 cleanup issues</A>, <I>not part of the specification</I>, apply to this section:<P><UL><LI> <A REL=CHILD HREF="../Issues/iss170.htm">FORMAT-STRING-ARGUMENTS:SPECIFY</A><LI> <A REL=CHILD HREF="../Issues/iss193.htm">IGNORE-USE-TERMINOLOGY:VALUE-ONLY</A><LI> <A REL=CHILD HREF="../Issues/iss258.htm">PATHNAME-HOST-PARSING:RECOGNIZE-LOGICAL-HOST-NAMES</A><LI> <A REL=CHILD HREF="../Issues/iss305.htm">SETF-FUNCTIONS-AGAIN:MINIMAL-CHANGES</A><P></UL><HR>
<A REL=NAVIGATOR HREF="../Front/StartPts.htm"><IMG WIDTH=80 HEIGHT=40 ALT="[Starting Points]" SRC="../Graphics/StartPts.gif" ALIGN=Bottom></A><A REL=TOC HREF="../Front/Contents.htm"><IMG WIDTH=80 HEIGHT=40 ALT="[Contents]" SRC="../Graphics/Contents.gif" ALIGN=Bottom></A><A REL=INDEX HREF="../Front/X_Master.htm"><IMG WIDTH=80 HEIGHT=40 ALT="[Index]" SRC="../Graphics/Index.gif" ALIGN=Bottom></A><A REL=INDEX HREF="../Front/X_Symbol.htm"><IMG WIDTH=80 HEIGHT=40 ALT="[Symbols]" SRC="../Graphics/Symbols.gif" ALIGN=Bottom></A><A REL=GLOSSARY HREF="../Body/26_a.htm"><IMG WIDTH=80 HEIGHT=40 ALT="[Glossary]" SRC="../Graphics/Glossary.gif" ALIGN=Bottom></A><A HREF="../Front/X3J13Iss.htm"><IMG WIDTH=80 HEIGHT=40 ALT="[Issues]" SRC="../Graphics/Issues.gif" ALIGN=Bottom></A><BR>
<A REL=COPYRIGHT HREF="../Front/Help.htm#Legal"><I>Copyright 1996-2005, LispWorks Ltd. All rights reserved.</I></A><P>
</BODY>
</HTML>
Copy permalink